Next: mpg-ref-term_variables, Previous: mpg-ref-term_not_less_than, Up: mpg-bpr [Contents][Index]
?=/2
?=(+Term1,+Term2)
Succeeds if Term1 and Term2 are identical terms, or if they are syntactically non-unifiable.
term
term
Succeeds if and only if dif(Term1,Term2)
does not block.
None.