RULES : FLAG-MODE

RULES is a mode.
Set flags so that the rules package can be run successfully.
Flags are set as follows:
Flag Value in Mode Current Value
FIRST-ORDER-MODE-PARSE NIL NIL
MAKE-WFFOPS-LABELS T NIL

ETPS documentation homepage


RULES : MODULE

RULES is a module.

It is not loaded.
The RULES module which generates inference rules from specifications.

NEEDED-MODULES WFFMATCH OPS-OTLRULES READ-RULES

MACRO-FILES RULE-WFFOP RULE-IDEF

FILES RULE-BUILD RULE-BB RULE-BUILD-DEFAULT RULE-BUILD-CHECK RULE-CMDS RULE-BUILD-MATCH RULE-BUILD-TAC

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage