Version: 1.7#142 (2001/11/12, 17:49:44 CET)
terms_vars
)terms_vars
)
varset(Term,Xs)
Xs
is the sorted list of all the variables in Term
.
varsbag(Term,Vs,Xs)
Vs
is the list of all the variables in Term
ordered as they appear in Term
left-to-right depth-first (including duplicates) plus Xs
.
Usage: varset_in_args(T,LL)
LL
contains the variables of an argument of T
, for each argument, and in left to right order.
T
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
LL
is a list of list(var)
s.
(basic_props:list/2
)
Go to the first, previous, next, last section, table of contents.