[ Comparing and Sorting | Reference Manual | Alphabetic Index ]
?Term1 @< ?Term2
Succeeds if term Term1 is before term Term2 in the standard ordering.
- Term1
- An arbitrary term.
- Term2
- An arbitrary term.
Description
   Succeeds if term Term1 precedes term Term2 in the standard ordering of
   terms.
   See compare/3 for the definition of this standard ordering.
Modes and Determinism
Fail Conditions
Fails if Term1 does not precede Term2.
Examples
   Success:
   X @< 1.0.           (gives X = _g68)
   0.0 @< 1.
   2.0 @< 1.
   "a" @< a.
   atoma @< atomb.
   [a|b] @< [a,b].
   b(1) @< a(1,1).
   a(1,2,3,4.0) @< a(1,2,3,0).
   Fail:
   1.0 @< X.
   atomb @< atoma.
   f(1,1) @< f(1).
See Also
compare / 3, @> / 2, @=< / 2, @>= / 2