Package nltk :: Package inference :: Module prover9 :: Class Prover9

Class Prover9

   object --+    
            |    
Prover9Parent --+
                |
   object --+   |
            |   |
   api.Prover --+
                |
               Prover9

Instance Methods

[hide private]

bool

prove(self, goal=None, assumptions=[], debug=False)
Use Prover9 to prove a theorem. source code

Inherited from Prover9Parent: __init__, prover9_input

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Class Variables

[hide private]

_proof = None
text output from running prover9

Instance Variables

[hide private]

Inherited from Prover9Parent (private): _timeout

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

prove(self, goal=None, assumptions=`[]`, debug=False)

source code

Use Prover9 to prove a theorem.

Returns: bool: A pair whose first element is a boolean indicating if the proof was successful (i.e. returns value of 0) and whose second element is the output of the prover.
Overrides: api.Prover.prove

Class Prover9

prove(self, goal=None, assumptions=[], debug=False)

prove(self, goal=None, assumptions=`[]`, debug=False)