new_variables_in_term/4¶

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

Unify OutputVariables with all variables occurring in Term that are not in the list Variables.