@</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