term_varibales/3¶

"term_varibales(? Term, - Variables, +ExternalVars" ) is iso

Unify the difference list between Variables and ExternaVars with the list of all variables of term Term. The variables occur in the order of their first appearance when traversing the term depth-first, left-to-right.