fact ( head -- )


Vocabulary
logic

Inputs
headan array representing a goal


Outputs
None

Word description
Registers the fact to the end of the logic predicate that is in the head.

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


See also
fact*, facts

Definition