facts ( defs -- )

Vocabulary

logic

Inputs

defs

an array

Outputs

None

Word description

Registers these facts to the end of the logic predicate that is in the head.

Examples

USE: logic IN: scratchpad LOGIC-PREDS: cato mouseo ; { { cato Tom } { mouseo Jerry } } facts

See also

fact, fact*

Definition

USING: sequences ;

IN: logic

: facts ( defs -- ) [ fact ] each ;