Package nltk :: Package inference :: Module api :: Class Prover

Class Prover

object --+
         |
        Prover

Known Subclasses:

resolution.Resolution
, prover9.Prover9
, tableau.Tableau

Interface for trying to prove a goal from assumptions. Both the goal and the assumptions are constrained to be formulas of logic.Expression.

Instance Methods

[hide private]

bool

prove(self, goal=None, assumptions=[], verbose=False)
Returns: Whether the proof was successful or not. source code

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

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

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

source code

Returns: bool: Whether the proof was successful or not.

Class Prover

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

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