Unify List with a list of variables, each sharing with a
unique variable of Term.81This
predicate used to be called free_variables/2 . The name term_variables/2
is more widely used. The old predicate is still available from the
library library(backcomp). The variables in List
are ordered in order of appearance traversing Term
depth-first and left-to-right. See also
?- term_variables(a(X, b(Y, X), Z), L).
L = [X, Y, Z].
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in