4 ms·
Variables are immutable, but note that it's the contradiction that leads to the "false" response, there's no issue with the assignment itself: ?- FOO = 1,
by nemetroid 6y ago
Variables are immutable, but note that it's the contradiction that leads to the "false" response, there's no issue with the assignment itself:
?- FOO = 1,
BAR = 1,
FOO = BAR.
FOO = BAR, BAR = 1.