Next: mpg-ref-notrace, Previous: mpg-ref-not_provable, Up: mpg-bpr [Contents][Index]
\=/2
+Term1 \= +Term2
\=
Term1 and Term2 do not unify.
term
The same as \+ X = Y; i.e. X and Y are not unifiable.
\+ X = Y
None.
Glossary.