nonvaro

Vocabulary

logic

Variable description

A logic predicate. nonvaro takes a single argument and is true if its argument is not a logic variable or is a concrete logic variable.

Syntax

{ nonvaro X }

See also

varo

Variable value

Current value in global namespace:

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

Definition

IN: logic

SYMBOL: nonvaro inline