Sets of variables in terms

Author(s): The CLIP Group.

Version: 1.11#96 (2003/12/21, 18:58:37 CET)

This module implements predicates to handle sets of variables in terms.

Usage and interface (`terms_vars`)

PREDICATE: varset/2:

varset(Term, Xs)

Xs is the sorted list of all the variables in Term.

PREDICATE: varsbag/3:

varsbag(Term, Vs, Xs)

Vs is the list of all the variables in Term ordered as they appear in Term right-to-left depth-first (including duplicates) plus Xs.

PREDICATE: varset_in_args/2:

Usage: varset_in_args(T, LL)

Description: Each list of LL contains the variables of an argument of T, for each argument, and in left to right order.
The following properties should hold at call time: T is currently a term which is not a free variable. (term_typing:nonvar/1)
The following properties should hold upon exit: LL is a list of list(var)s. (basic_props:list/2)