When I type
in the listener, I get X=b and Y=a.
However, if I create a clause
foo(Y,b). in the listener, Unification doen't occur, and I get no as an answer.
I am using Amzi Prolog with the Eclipse interface.
What is wrong?