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