LOGIC-VARS:

Vocabulary

logic

Word description

Creates a new logic variable for every token until the ;.

Syntax

LOGIC-VARS: vars... ;

Examples

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

See also

LOGIC-VAR:

Definition

USING: lexer logic.private ;

IN: logic

SYNTAX: LOGIC-VARS: ";" [ define-logic-var ] each-token ;