[ Comparing and Sorting | Reference Manual | Alphabetic Index ]
?Term1 @=< ?Term2
Succeeds if term Term1 is before or equal to Term2 in the standard
ordering.
- Term1
- An arbitrary term.
- Term2
- An arbitrary term.
Description
   Succeeds if term Term1 is before 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 after Term2.
Examples
   Success:
   X @=< 1.0.           (gives X = _g68)
   1.0 @=< 0.
   0 @=< "zero".
   same @=< same.
   diffa @=< diffb.
   [a|b] @=< [a,b].
   [a,b|X] @=< [a,b,c]. (gives X = _g90)
   f(100) @=< f(0,0).
   a(100) @=< b(1).
   Fail:
   1.0 @=< X.
   0 @=< 1.0.
   atom @=< "atom".
   a(1,2,3) @=< a(1,2,X).
See Also
compare / 3, @> / 2, @< / 2, @>= / 2