While studying the language PROLOG I found the following true or false question:
In PROLOG '?- X is X+1' results in the increment of the variable X by one.
A teacher said it's false, however I don't understand why. Won't X be X+1 from now on? Why is it false?
And thanks in advance for any answer.
