
?Term1 \== ?Term2

   Succeeds if Term1 and Term2 are not identical terms.



Arguments
   Term1               An arbitrary term.
   Term2               An arbitrary term.

Type
   Comparing and Sorting

Description
   Used to compare the 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.




Modes and Determinism
   \==(?, ?) is semidet

Fail Conditions
   Fails if Term1 and Term2 are identical.

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].





See Also
   == / 2, \= / 2
