[Group Index|Full Index]
ECLiPSe Kernel: Term Comparisons
- ?Term1 = ?Term2
-
Succeeds if Term1 and Term2 unify.
- ?Term1 == ?Term2
-
Succeeds if Term1 and Term2 are identical terms.
- ?Term1 @< ?Term2
-
Succeeds if term Term1 is before term Term2 in the standard ordering.
- ?Term1 @=< ?Term2
-
Succeeds if term Term1 is before or equal to Term2 in the standard
ordering.
- ?Term1 @> ?Term2
-
Succeeds if term Term1 is after term Term2 in the standard ordering.
- ?Term1 @>= ?Term2
-
Succeeds if term Term1 is after or equal to Term2 in the standard ordering.
- ?Term1 \= ?Term2
-
Succeeds if Term1 and Term2 are not unifiable.
- ?Term1 \== ?Term2
-
Succeeds if Term1 and Term2 are not identical terms.
- compare(?Ordering, ?Term1, ?Term2)
-
Succeeds if Ordering is a special atom which describes the ordering between
Term1 and Term2.
- compare_instances( ?Relationship, ?Term1, ?Term2)
-
Succeeds if Relationship is an atom describing the instance relationship
between Term1 and Term2.
- instance(?Instance, ?Term)
-
Succeeds if Instance is an instance of Term.
- not_unify(?Term1, ?Term2)
-
Succeeds if Term1 and Term2 are not unifiable.
- occurs(?Simple, ?Term)
-
Succeeds if Simple is a variable or an atomic type that occurs in the term
Term.
- variant(?Term1, ?Term2)
-
Succeeds if Term1 is a variant of Term2.
- ?Term1 ~= ?Term2
-
The sound difference operator. Succeeds if the two terms cannot be
unified, fails if they are identical, otherwise it delays.