Package nltk :: Package inference :: Module resolution :: Class Resolution

Class Resolution

object --+    
         |    
api.Prover --+
             |
            Resolution

Instance Methods

[hide private]

bool

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

_attempt_proof(self, clauses)

source code

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

Class Variables

[hide private]

ANSWER_KEY = 'ANSWER'

_assume_false = True

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

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

source code

Parameters:

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

Returns: bool

Whether the proof was successful or not.

Overrides: api.Prover.prove

Class Resolution

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

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