fact ( head -- )

Vocabulary

logic

Inputs

head	an 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

USING: logic.private ;

IN: logic

: fact ( head -- ) at-the-end (fact) ;