Peter
Peter
Prolog: I'm very, very new to Prolog, so maybe I'm wrong with this "issue". And only for the record: I've found awesome and great Scryer Prolog few days ago, via...
A file to consult: ``` :- use_module(library(pio)). :- use_module(library(dif)). gr --> "a". goalSecond(C) --> [C], { dif(C,b) }. % Not working/yielding false. in Scryer with phrase_from_file/2 goalFirst(C) --> { dif(C,b)...
Loading lambda and, for example, lists library: ``` $ scryer-prolog -f ?- use_module(library(lambda)). true. ?- use_module(library(lists)). true. ``` Through "one unification", so to speak, as expected: ``` ?- Lambda =...
Version: `rebis-dev_opt-in-offset-tbl-concurrency`, https://github.com/mthom/scryer-prolog/tree/rebis-dev_opt-in-offset-tbl-concurrency https://github.com/mthom/scryer-prolog/tree/60695e8cf84be5a10cdec9f6c7333dc8aaadb0e6 Creating an auxiliary file and seeing that the file is empty: ``` $ touch text.txt $ cat text.txt $ ``` A file to consult: ``` :-...
In `master` and `rebis-dev`. (But maybe I'm wrong, and in Scryer it's expected?) ``` ?- NBSP = " ". error(syntax_error(missing_quote),read_term/3:0), unexpected. NBSP = "\xa0\". % expected, but not found. ```...
As I wrote for Markus @triska here: https://github.com/mthom/scryer-prolog/issues/2701#issuecomment-2859994956 I thought that `rebis-dev` is better with tabling then `master` now; but I'm afraid that it's not the case in some [examples](https://github.com/mthom/scryer-prolog/issues/2701)....
A file to consult: ``` fact(a). fact(b). facts(L) :- findall(X,fact(X),L). ``` Unexpected (too-much-non-monotonicity-like behaviour): ``` ?- facts([a,B]). false, unexpected. B = b. % expected, but not found. ``` But: ```...