When issuing the following code at the prompt…
?- X is 3, Y is 3.
The following output appears:
X = Y, Y = 3.
I’d love a better understanding of what’s happening with that
X=Y, and why it doesn’t say
X=3. Is SWI-Prolog doing some kind of variable aliasing as an optimization?