Peter

@triska Thank you very much for your response; I appreciate it. I can learn from every post you write, thank you! I think, my problem/perspective/fear here is a mental gap...

Now, I can see some light! Thank you so much!!! > library(clpz) provides an important guarantee: All predicates it exports always terminate. Anything else is an implementation mistake. This is...

> The essence of the issue is that a query we expect to succeed fails. To find such a smallest fragment, we can use library(debug) and its operator (*)/1 to...

"They" say, there is "no silver bullet". But!!! this sounds to me like a holly grail of software testing... And more... I want it, when I design my programs or...

So... I can (but this can be my misunderstanding or/and a bad wording) do "syntactic subtraction" from any pure Prolog program code until I get `false` or nontermination (as the...

Oh... So, this is it. I was so blind to these logical differences... to many aspects of that... If: > No change in the strikeout parts can prevent the failure....

I can't replicate it (it works as in the Markus' OSX case) on my Ubuntu 22.04.3; Scryer git-version: "ccf581d"; rustc 1.75.0, compiled using "cargo build --release".

I tested some older git-versions of the cargo:0.9.3 release with this "http example", I had compiled (with older versions of rustc back then), it all works. I have to add...

@flexoron Yes, except that the HTML begins with "\n

I can confirm the Mr. @bakaq's observation in my case/configuration as well. For fun and non-profit I tried the compilation without "--release" and it "panicked" nicely... PS: I was wondering...