LOGIC-VAR:

Vocabulary

logic

Word description

Creates a new logic variable.

Syntax

LOGIC-VAR: var

Examples

USING: logic prettyprint ; IN: scratchpad LOGIC-PRED: mouseo LOGIC-VAR: X SYMBOL: Jerry { mouseo Jerry } fact { mouseo X } query .
{ H{ { X Jerry } } }

See also

LOGIC-VARS:

Definition

USING: lexer logic.private ;

IN: logic

SYNTAX: LOGIC-VAR: scan-token define-logic-var ;