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

?Term1 @>= ?Term2

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

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

Description

Succeeds if term Term1 is after or equal to 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 comes before Term2.

Resatisfiable

No.

Exceptions

Examples


   Success:
   1.0 @>= X.              (gives X = _g70)
   0 @>= 1.0.
   0 @>= 0.
   "ab" @>= "aa".
   atomb @>= atoma.
   [a,b] @>= [a|b].
   f(1,2,3) @>= f(4,5).
   longe(1) @>= long(1).
   a(2) @>= a(1).
   Fail:
   X @>= 1.
   atoma @>= atomb.
   a(1,2,3) @>= a(1,2,4).


See Also

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