DefaultComparator
Implements the standard logic-term total order across any two Terms: variables order before numbers, which order before atoms, which order before structures. This is what backs Term.compareTo.
Implements the standard logic-term total order across any two Terms: variables order before numbers, which order before atoms, which order before structures. This is what backs Term.compareTo.