Succeeds if the syntactic equality of Term1 and Term2
can be decided safely, i.e. if the result of Term1 == Term2
will not change due to further instantiation of either term. It behaves
as if defined by ?=(X,Y) :- \+ unifiable(X,Y,[_|_]).
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in|Report abuse