Next: mpg-ref-unify_with_occurs_check, Previous: mpg-ref-true, Up: mpg-bpr [Contents][Index]
=/2
ISO+Term1 =
+Term2
unifies Term1 and Term2.
term
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.