Term comparison and manipulation

• Term1 == Term2:   The terms Term1 and Term2 are strictly identical.

• Term1 \== Term2:   The terms Term1 and Term2 are not strictly identical.

• Term1 @=< Term2:   The term Term1 precedes or is identical to the term Term2 in the standard order.

• Term1 @> Term2:   The term Term1 follows the term Term2 in the standard order.

• Term1 @>= Term2:   The term Term1 follows or is identical to the term Term2 in the standard order.

• Term1 @< Term2:   The term Term1 precedes the term Term2 in the standard order.

• compare(Op,Term1,Term2):   Op is the result of comparing the terms Term1 and Term2.

• copy_term(Term,CopyOfTerm):   CopyOfTerm is an independent copy of Term.

• copy_term_nat(Term,CopyOfTerm):   Same as copy_term(Term,CopyOfTerm) but no attribute is copied for attribued variables.

• number_vars(Term,N0,N):
• numbervars(Term,N0,N):     Number the variables in Term by using the integers starting from N0. N is the next integer available after the term is numbered. Let N0, N1, ..., N-1 be the sequence of integers. The first variable is bound to the term $var(N0), the second is bound to $var(N1), and so on. Different variables receive different numberings and the occurrences of the same variable all receive the same numbering. (not in ISO).

• unnumber_vars(Term1,Term2):   Term2 is a copy of Term1 with all numbered variables $var(N) being replaced by Prolog variables. Different numbered variables are replaced by different Prolog variables.

  Number the variables in Term by using the integers starting from N0. N is the next integer available after the term is numbered. Let N0, N1, ..., N-1 be the sequence of integers. The first variable is bound to the term $var(N0), the second is bound to $var(N1), and so on. Different variables receive different numberings and the occurrences of the same variable all receive the same numbering. (not in ISO).

• term_variables(Term,Vars):
• vars_set(Term,Vars):     Vars is a list of variables that occur in Term.

• term_variables(Term,Vars,Tail):   Difference list version of term_variables/2, i.e. Tail is the tail of the incomplete list Vars.