@</2
, @=</2
, @>/2
, @>=/2
+Term1 @<
+Term2
Succeeds if term Term1 is before term Term2 in the standard order.
+Term1 @=<
+Term2
Succeeds if term Term1 is not after term Term2 in the standard order.
+Term1 @>
+Term2
Succeeds if term Term1 is after term Term2 in the standard order.
+Term1 @>=
+Term2
Succeeds if term Term1 is not before term Term2 in the standard order.
These predicates use a standard total order when comparing terms. The standard total order is:
variables@<
database references@<
numbers@<
atoms@<
compound terms
For further details see ref-lte-cte-sot.
| ?- foo(1) @< foo(2). yes | ?- chicken @< egg. yes | ?- a @< "a". yes
| ?- liberty @=< pride. yes |?- 1 @=< 1.0. yes
| ?- fie(1,1) @> fie(1). yes
| ?- 1 @>= 1.0. no | ?- 1.0 @>= 1. yes
compare/3
, ==/2
, \==/2
ref-lte