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.