[ Comparing and Sorting | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
# ?Term1 @>= ?Term2

Succeeds if term Term1 is after or equal to Term2 in the standard ordering.
*Term1*
- An arbitrary term.
*Term2*
- An arbitrary term.

## Description

Succeeds if term Term1 is after or equal to term Term2 in the standard
order of terms (defined under compare/3).
See compare/3 for the definition of this standard ordering.

### Modes and Determinism

### Fail Conditions

Fails if Term1 comes before Term2.
## 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

compare / 3, @=< / 2, @< / 2, @> / 2