[ ECLiPSe Term Comparison built-in.|Group Index| Full Index]

?Term1 @> ?Term2

Succeeds if term Term1 is after term Term2 in the standard ordering.

?Term1
A prolog term.
?Term2
A prolog term.

Description

Succeeds if term Term1 is after term Term2 in the standard ordering of prolog terms.

The standard ordering of prolog terms is given for compare/3.

Fail Conditions

Fails if Term1 does not come after Term2.

Resatisfiable

No.

Exceptions

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

@=< / 2, @< / 2, @>= / 2