Next:
Term comparison and manipulation
Up:
Terms
Previous:
Type checking
Contents
Index
Unification
X = Y
:
The terms
X
and
Y
are unified.
X \= Y
:
The terms
X
and
Y
are not unifiable.
X?=Y
:
The terms
X
and
Y
are unifiable. This is logically equivalent to:
not(not(X=Y))
.
Neng-Fa Zhou 2013-01-25
