RULEP : MEXPR

RULEP is a top-level command.
Justify the CONSEQUENT line by RULEP using the lines in the
list ANTECEDENTS.
The command format for RULEP is:

 <n>RULEP CONCLUSION ANTECEDENTS 
"LINE" "LINELIST"


The arguments have the following meaning:
CONCLUSION : Line to be Proved
ANTECEDENTS : Lines to Use

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage