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

type Prover

object --+
         |
        Prover

Known Subclasses:

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

bool

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

source code

tuple: (bool, str)

_prove(self, goal=None, assumptions=None, verbose=False)
Returns: Whether the proof was successful or not, along with the proof

source code

Method Details

Returns: tuple: (bool, str): Whether the proof was successful or not, along with the proof