[ Comparing and Sorting | Reference Manual | Alphabetic Index ]
?Term1 @> ?Term2
Succeeds if term Term1 is after term Term2 in the standard ordering.
- Term1
- An arbitrary term.
- Term2
- An arbitrary term.
Description
   Succeeds if term Term1 is after term Term2 in the standard ordering of
   terms.
   See compare/3 for the definition of this standard ordering.
Modes and Determinism
Fail Conditions
Fails if Term1 does not come after Term2.
Examples
   Success:
   0.0 @> X.             (gives X = _g70)
   0 @> 0.0.
   0 @> 1.0.
   atomb @> atoma.
   [a,b] @> [a|b].
   f(1,1) @> f(1).
   b(1) @> a(1).
   a(1,1,1,2) @> a(1,1,1,1).
   Fail:
   X @> 1.0.
   atom @> atom.
   [a|X] @> [a,b,c,d].
   a(1) @> a(2).
See Also
compare / 3, @=< / 2, @< / 2, @>= / 2