"term_variables_union(? Term1, - Term2, +Vars" ) is iso
Unify Vars with all variables in either term.