Package nltk :: Package inference :: Module resolution :: Class ResolutionProver

type ResolutionProver

object --+    
         |    
api.Prover --+
             |
            ResolutionProver

Instance Methods

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

_attempt_proof(self, clauses)

source code

Inherited from api.Prover: prove

Class Variables

ANSWER_KEY = 'ANSWER'

_assume_false = True

Method Details

Parameters:

goal (logic.Expression) - Input expression to prove
assumptions (list of logic.Expression objects) - Input expressions to use as assumptions in the proof

Returns: tuple: (bool, str)

Whether the proof was successful or not, along with the proof