varo

Vocabulary

logic

Variable description

A logic predicate. varo takes a argument and is true if it is a logic variable with no value.

Syntax

{ varo X }

See also

nonvaro

Variable value

Current value in global namespace:

T{ logic-pred f "varo" ~vector~ }

Definition

IN: logic

SYMBOL: varo inline