[ Comparing and Sorting | 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