UWN
As long as such issues are open, GC cannot fold identical subterms...
What would be a definition of `term_variables/2` for these cases? The definition relies on the notion of a witness variable list of a term [7.1.1.5](http://www.complang.tuwien.ac.at/ulrich/iso-prolog/dtc2#7.1.1.5) which is defined for terms...
``` ?- T=[[T|A]|B],'@term_variables'(T,Vs), S=[[S|B]|A],Tbis=[S|B], T==Tbis,'@term_variables'(Tbis,Vsbis). T = [[T|A]|B], Vs = [A,B], S = [[S|B]|A], Tbis = [[[S|B]|A]|B], Vsbis = [A,B]. ?- T=[[T|A]|B],term_variables(T,Vs), S=[[S|B]|A],Tbis=[S|B], T==Tbis,term_variables(Tbis,Vsbis). T = [[T|A]|B], Vs = [A,B],...
Now two observations: After the first answer, I type a for all. But only all answers are produced up to the first resource error. Typing a again gives me only...
All with ``` $ ulimit -v 50000
The interaction problem is gone, but ``` ?- length(_,I),N is 2^2^I, catch(length(L,N),Err,true). I = 0, N = 2, L = [_A,_B] ; I = 1, N = 4, L =...
Now: ``` ulrich@p0:~$ ulimit -v 50000 ulrich@p0:~$ /opt/gupu/new-trealla/tpl Trealla with .tplrc Trealla Prolog (c) Infradig 2020-2023, v2.21.31 ?- ulrich@p0:~$ /opt/gupu/new-trealla/tpl -f Trealla Prolog (c) Infradig 2020-2023, v2.21.31 ?- length(_,I),N is...
On my newer lab-top. After git reset --hard && make clean ``` ulrich@TU-Wien:/opt/gupu/new-trealla$ ulimit -v 50000 ulrich@TU-Wien:/opt/gupu/new-trealla$ ./tpl Trealla with .tplrc Trealla Prolog (c) Infradig 2020-2023, v2.21.32 ?- length(_,I),N is...
After complete rebuild on p0: ``` ulrich@p0:~$ /opt/gupu/new-trealla/tpl -f Trealla Prolog (c) Infradig 2020-2023, v2.21.32 ?- length(_,I),N is 2^2^I, catch(length(L,N),Err,true). I = 0, N = 2, L = [_A,_B] ;...
Now: ``` Trealla Prolog (c) Infradig 2020-2023, v2.23.41 ?- length(_,I),N is 2^2^I, catch(length(L,N),Err,true). I = 0, N = 2, L = [_A,_B] ; I = 1, N = 4, L...