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

?Term1 @< ?Term2

Succeeds if term Term1 is before term Term2 in the standard ordering.

?Term1
Prolog term.
?Term2
Prolog term.

Description

Succeeds if term Term1 precedes term Term2 in the standard ordering of prolog terms.

The standard ordering of prolog terms is shown for compare/3.

Fail Conditions

Fails if Term1 does not precede Term2.

Resatisfiable

No.

Exceptions

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

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