Module StdOrder

module StdOrder: sig .. end

Comparison of terms according to the ISO-Prolog standard total ordering of terms.

The ISO-Prolog standard total ordering of terms orders terms as follows (from the smallest term to the greatest):

variables, sytem dependent

floating point numbers, in numeric order.

integers, in numeric order.

atoms, in alphabetical order.

compound terms, ordered first by arity, then by the name of the principal functor and by the arguments in left-to-right order.

A list is treated as a compound term (whose principal functor is '.'/2).

val term_compare : Term.term -> Term.context -> Term.term -> Term.context -> int

term_compare term1 context1 term2 context2 compares term1 in context1 and term2 in context2 according to the ISO-Prolog standard term ordering and returns

-1 if term1 is less than term2.

0 if term1 and term2 are equal.

1 if term1 is greater than term2.