dif/2 loops

[UWN]

trafficstars

Welcome to SWI-Prolog (threaded, 64 bits, version 8.5.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- dif(A, B), A=[A|C], B=[D|E], D=[B].
ERROR: Stack limit (1.0Gb) exceeded