[ Comparing and Sorting | The ECLiPSe Built-In Predicates | 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.

Fail Conditions

Fails if Term1 does not come after Term2.

Resatisfiable

No.

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