11.3.223 ?= /2

Synopsis

?=(+Term1,+Term2)

Succeeds if Term1 and Term2 are identical terms, or if they are syntactically non-unifiable.

Arguments

Term1
term
Term2
term

Comments

Succeeds if and only if dif(Term1,Term2) does not block.

See Also

ref-lte-met-usu.


Send feedback on this subject.