Succeeds if Term1 and Term2 are not identical terms.
+Term1
Prolog term.
+Term2
Prolog term.
Description
Used to compare the prolog terms Term1 with Term2. Succeeds if Term1
and Term2 are not identical terms. Two variables are considered as
identical only if one is bound to the other one, or if they are bound to
identical terms.
Fail Conditions
Fails if Term1 and Term2 are identical.
Resatisfiable
No.
Exceptions
Examples
Success:
atom \== neutron.
atom \== X.
X \== atom.
1 \== 1.0.
X \== Y.
[a|b] \== [a,b].
[a|X] \== [a,X].
f(a,b) \== [f,a,b].
f(1,2,3) \== f(1,2,3.0).
Fail:
a \== a.
X \== X.
X = Y, X \== Y.
[a,b|[]] \== [a,b].