Next: , Up: ref-lte-cte Introduction

The predicates described in this section are used to compare and order terms, rather than to evaluate or process them. For example, these predicates can be used to compare variables; however, they never instantiate those variables. These predicates should not be confused with the arithmetic comparison predicates (see ref-ari-acm) or with unification.

Send feedback on this subject.