term_variables_difference/3¶

"term_variables_difference(? Term1, - Term2, +Vars" ) is iso

Unify Vars with all variables in Term1 and not in Term2.