#1 term_variables/2

[Anonymous]

Hello,

It would be very useful to have the predicate
term_variables/2.

term_variables(?Term, ?VarList)

This predicate collects all the variables inside Term
into the list VarList. Every variable occurs only once
in VarList, even if it occurs several times in Term.
The order of the variables in the list is not specified.

Thanks in advance,
alphonse@lri.fr