rules ( defs -- )


Vocabulary
logic

Inputs
defsan 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