=/2
+Term1 = +Term2
=
unifies Term1 and Term2.
term
This is defined as if by the clause ‘Z = Z.’.
If =/2 is not able to unify Term1 and Term2, then it will simply fail.
None.
Glossary, ref-sem-occ.