(\=)

Vocabulary

logic

Variable description

A logic predicate. It will be true when such a unification fails. Note that (\=) does not actually do the unification.

Syntax

{ (\=) X Y }

See also

(=)

Variable value

Current value in global namespace:

T{ logic-pred f "(\\=)" ~vector~ }

Definition

IN: logic

SYMBOL: (\=) inline