[ Comparing and Sorting | Reference Manual | Alphabetic Index ]
# ?Term1 \== ?Term2

Succeeds if Term1 and Term2 are not identical terms.
*Term1*
- An arbitrary term.
*Term2*
- An arbitrary term.

## 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

### 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