**Author(s):** The CLIP Group.

**Version:** 1.9#220 (2003/12/21, 18:58:25 CET)

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

`terms_vars`

)`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`

)

Go to the first, previous, next, last section, table of contents.