Next: Testing of Terms, Up: Term Tests and Manipulation [Contents][Index]
Two terms are compared according to the standard ordering, which is defined below. Items listed at the beginning come before the items listed at the end. For example, numbers are less than atoms in the standard ordering.
The above ordering is used when constructing sets.
The following relations use the above ordering to test terms.
Term1 @> Term2
Succeeds if
Term1
is greater thanTerm1
in the above ordering.
Term1 @>= Term2
Succeeds if
Term1
is greater than or equal toTerm2
in the above ordering.
Term1 @< Term2
Succeeds if
Term1
is less thanTerm1
in the above ordering.
Term1 @=< Term2
Succeeds if
Term1
is less than or equal toTerm2
in the above ordering.