[Next]
[Up]
[Previous]
[Contents]
[Index]
Next: Term comparison and manipulation
Up: Terms
Previous: Type checking
Contents
Index
- 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. It is logically equivalent to: not(not(X=Y)).
Neng-Fa Zhou ()
2007-06-05