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.
Xs is the sorted list of all the variables in
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
LLcontains the variables of an argument of
T, for each argument, and in left to right order.
Tis currently a term which is not a free variable. (
LLis a list of
Go to the first, previous, next, last section, table of contents.