Andrew Davison
Andrew Davison
SWI Prolog uses ``` $ swipl ?- X is 1 rdiv 2. X = 1r2. ?- ``` but @uwn objects to this notation.
For what it's worth Trealla now deals with it at the top-level like: ``` $ tpl ?- X is 1 rdiv 2, Y = 1 rdiv 2, write_canonical(X-Y), nl. -(1...
I wasn't addressing write_canonical output, just the top-level results display. On Sun, Aug 11, 2024 at 11:30 AM Kauê Hunnicutt Bazilli < ***@***.***> wrote: > Well, this is also problematic,...
While on the subject of time/1, most Prologs except Scryer write the output of time/1 to stderr, this allows output from noisy programs to be redirected to /dev/null on the...
Simplify slightly... ``` main :- member(X,[true,false]), ( member(X,[false,true,false]) *-> write(here1) ; write(here2) ), write({X}), fail. ```
$ scryer-prolog ?- [user]. :- use_module(library(lambda)). p. ?- Goal = (X +\ user:p), write_canonical(Goal), nl. :(+\(_74543,user),p) Goal = X+\user:p. ?-