unifiable(? Term1, ? Term2, - Bindings)*
Succeed if Term1 and Term2 are unifiable with substitution Bindings.