?=/2
?=(+Term1,+Term2)
Succeeds if Term1 and Term2 are identical terms, or if they are syntactically non-unifiable.
term
Succeeds if and only if dif(Term1,Term2) does not block.
dif(Term1,Term2)
None.
ref-lte-met-usu.