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


Sets of variables in terms

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.

Usage and interface (terms_vars)

Documentation on exports (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)


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