LOGIC-PREDS:


Vocabulary
logic

Word description
Creates a new logic predicate for every token until the ;.

Syntax
LOGIC-PREDS: preds... ;


Examples
USE: logic IN: scratchpad LOGIC-PREDS: cato mouseo ; SYMBOLS: Tom Jerry ; { cato Tom } fact { mouseo Jerry } fact


See also
LOGIC-PRED:

Definition