flexoron

dif/2 used to expose confusion

11

``` NOTE: UWN detected that this issue is not dif/2 related. See #2333 Thanks UWN. ``` Version 0.9.3-214-g70795134-modified ``` # Note: dif/2 used to provoke the issue $ scryer-prolog -f...

``` ?- [user]. :-X. % Warning: singleton variables X at line 1 of user ^C error('$interrupt_thrown',repl/0). ^C error('$interrupt_thrown',repl/0). ?- ``` Hint: ^C because ^D doesn't work ``` $ cat x.pl...

Wrong output of write_term/2, max_depth/1

8

``` ?- A = [A|c], write_term(A,[max_depth(0)]),nl. [...|c] A = [A|c]. ?- A = [A|c], write_term(A,[max_depth(1)]),nl. [...|...] A = [A|c]. ?- A = [A|c], write_term(A,[max_depth(2)]),nl. [c,...|...] % unexpected A = [A|c]....

[user]. Strange end_of_file

5

``` ?- [user]. en dof ile. ?- % unexpected.

time/1 negative inference

4

v0.9.3-126-g1e0fa567-modified ``` $ scryer-prolog -f ?- use_module(library(time)). true. ?- time(X = 1). % CPU time: 0.000s, -22 inference (exception?) % Meaning? X = 1. ?- time(X = 1). % CPU...

(=..)/2 construction

5

Version: scryer-prolog_ubuntu-22.04.zip (Nov 3) ``` ?- [user]. x(L) :- [A,B,C|D] = L, write(A/B/C/D),nl. ?- Y = [x,[X|Y]], Z =.. Y. Y = [x,[X|Y]], Z = x([X,x,[]|X]). % I wonder where...

CLPZ: Error: syntax error unexpected

2

v2.50.32 ``` ?- assertz(clpz:monotonic). true. ?- use_module(library(clpz)). true. ?- 1 #= #X. Error: syntax error, near '#=', operator expected, user:1 % unexpected ?- ```

CLPZ: Comparison

3

``` $ scryer-prolog ?- use_module(library(clpz)). true. ?- #X #= #X * #Y, #X #= -1 * #Y. % Immediate answer clpz:(-1*Y#=X), clpz:(X*Y#=X). ?- halt. $ tpl ?- use_module(library(clpz)). true. ?-...

dif/2 : Printing choked off

3

v2.38.8 ``` $ tpl ?- dif(W,V),V=[V]. V = [V], dif:dif(W,[[[_A]]]). ?- dif(V,W),V=[V]. V = [V], . % half-done ?- ```

Oh please, check and correct. ``` ?- A= +B, B= +C, C= +A, write_term([A]*[B]*[C], [max_depth(3)]),nl, write_term([A]*[B]*[C], [max_depth(4)]). GNU, SWI, ECLiPSe [...]*[...]*[+ ...] % max_depth(3) [+ ...]*[+ ...]*[+ + ...] %...