LOGIC-PRED:


Vocabulary
logic

Word description
Creates a new logic predicate.

Syntax
LOGIC-PRED: pred


Examples
USE: logic IN: scratchpad LOGIC-PRED: cato SYMBOL: Tom { cato Tom } fact


See also
LOGIC-PREDS:

Definition