next up previous contents
Next: Saturate Commands Up: The Interaction Cycle Previous: Saving (partially) saturated set   Contents

Proof Printing

The command rp displays the proof of the empty clause. The proof for every other clause with number $N$ in the data base can be obtained by the command $\mbox{{\tt rp}}(N)$.


Harald Ganzinger 2002-12-04

Imprint | Data Protection