rules ( defs -- )

Vocabulary

logic

Inputs

defs	an array of rules

Outputs

None

Word description

Registers these rules to the end of the logic predicate that is in these heads.

Examples

LOGIC-PREDS: is-ao consumeso ; SYMBOLS: Tom Jerry Nibbles ; SYMBOLS: mouse cat milk cheese fresh-milk Emmentaler ; { { is-ao Tom cat } { is-ao Jerry mouse } { is-ao Nibbles mouse } { is-ao fresh-milk milk } { is-ao Emmentaler cheese } } facts { { { consumeso X milk } { { is-ao X mouse } ;; { is-ao X cat } } } { { consumeso X cheese } { is-ao X mouse } } { { consumeso X mouse } { is-ao X cat } } } rules

See also

rule, rule*

Definition

USING: sequences ;

IN: logic

: rules ( defs -- ) [ first2 rule ] each ;