variables_within_term/4¶

variables_within_term(+ Variables,? Term, - OutputVariables)*

Unify OutputVariables with the subset of the variables Variables that occurs in Term.