fact* ( head -- )

Vocabulary

logic

Inputs

head	an array representing a goal

Outputs

None

Word description

Registers the fact to the beginning of the logic predicate that is in the head.

See also

fact, facts

Definition

USING: logic.private ;

IN: logic

: fact* ( head -- ) at-the-beginning (fact) ;