RULE-RUN : CONTEXT

RULE-RUN is a context.
TPS objects useful in running the RULES module to produce
a set of commands implementing the rules of inference of a logical system.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage