Jos De Roo

Now it works fine 👍 See also https://github.com/trealla-prolog/trealla/issues/677#issuecomment-2717735602

This is tested on ``` si OS: Ubuntu 22.04.5 LTS, CPU: AMD Ryzen 5 7520U with Radeon Graphics, RAM: 3705676 kB ``` and with ``` scryer-prolog --version v0.9.4-210-gff034326 ```

The test is now at https://github.com/eyereasoner/eyelet/blob/main/input/basic-monadic.pl The result can be reproduced as ``` cd /tmp git clone https://github.com/eyereasoner/eyelet cd eyelet scryer-prolog -g main eyelet.pl input/basic-monadic.pl ``` It is still giving...

Thanks @triska for digging into this and I feel that it will work out :-) This was a test we made up at https://eulersharp.sourceforge.net/2003/03swap/bmb-note to see how SAS technology https://www.sas.com/en_be/home.html...

Very nifty and indeed ``` scryer-prolog -g main eyelet.pl /tmp/basic.pl :- op(1200, xfx, :+). answer(cycle(A,[a,b,B])). step((true:+cycle(A,B)),cycle(C,[a,b,D]),true). ```

compared with ``` tpl -g main eyelet.pl /tmp/basic.pl :- op(1200, xfx, :+). answer(cycle(A,"aba")). step((true:+cycle(A,B)),cycle(C,"aba"),true). ```

Good work and I wonder whether it could have to do with ``` $ scryer-prolog ?- L = [A,A,A], A=a, asserta(l(L)). L = "aaa", A = a. ?- l([A,B,C]). A...

We have another case https://github.com/eyereasoner/eyelet/blob/main/input/enigma1225.pl with unexpected variables in the output and this time they are not the last element of a list: ``` ~/github.com/eyereasoner/eyelet$ scryer-prolog -g main eyelet.pl input/enigma1225.pl...

> How can I test it? > > ``` > $ scryer-prolog -g main eyelet.pl basic-monadic.pl > *** error(instantiation_error,instantiation_error(unknown(A),1)) > ``` see https://github.com/mthom/scryer-prolog/issues/2668#issuecomment-2841827711

Wow, now basic-monadic and enigma1225 cases work fine! Thanks @haijinSk 👍 So we now have ``` $ scryer-prolog ?- L = [A,A], A = a, assertz(l(L)), l(M). L = "aa",...