(=)

Vocabulary

logic

Variable description

A logic predicate. It unifies two arguments.

Syntax

{ (=) X Y }

See also

(\=), is

Variable value

Current value in global namespace:

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

Definition

IN: logic

SYMBOL: (=) inline