search

trealla-prolog / trealla

A compact, efficient Prolog interpreter written in plain-old C.
MIT License
252 stars 11 forks source link

OOPS Hunting #515

Closed flexoron closed 3 months ago

flexoron commented 3 months ago

v2.49.1

?- X=[X,Y],Y=[Y,X],copy_term(X,Y).
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
   X = [X,[X,X]], Y = [Y,[Y,Y]].

?- X=[Y,Y],Y=[X,X],copy_term(X,Y).
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
: 
: 
: 
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
*** OOPS src/terms.c 214
   X = [[X,X],[X,X]], Y = [[Y,Y],[Y,Y]].
?-
flexoron commented 3 months ago

Closing (for now) Issue #515