Next: , Previous: , Up: mpg-bpr   [Contents][Index]


11.3.138 \=/2   ISO

Synopsis

+Term1 \= +Term2

Term1 and Term2 do not unify.

Arguments

Term1

term

Term2

term

Description

The same as \+ X = Y; i.e. X and Y are not unifiable.

Exceptions

None.

See Also

Glossary.


Send feedback on this subject.