new_variables_in_term/3¶

"new_variables_in_term(+CurrentVariables, ? Term, -Variables" )

Unify Variables with the list of all variables of term Term that do not occur in CurrentVariables. That is:

Variables = vars(Term) - CurrentVariables

The variables occur in the order of their first appearance when traversing the term depth-first, left-to-right.