rule* ( head body -- )

Vocabulary

logic

Inputs

head	an array representing a goal
body	an array of goals or a goal

Outputs

None

Word description

Registers the rule to the beginnung of the logic predicate that is in the head.

See also

rule, rules

Definition

USING: logic.private ;

IN: logic

: rule* ( head body -- ) at-the-beginning (rule) ;