Package nltk :: Package inference :: Module api :: Class ProverCommand

type ProverCommand

        object --+    
                 |    
TheoremToolCommand --+
                     |
                    ProverCommand

Known Subclasses:

This class holds a Prover, a goal, and a list of assumptions. When prove() is called, the Prover is executed with the goal and assumptions.

Instance Methods

prove(self, verbose=False)
Perform the actual proof.

source code

proof(self, simplify=True)
Return the proof string

source code

get_prover(self)
Return the prover object

source code

Method Details

Return the proof string

Parameters:

Returns:

str

Return the prover object