nltk.inference.ResolutionProver

class nltk.inference.ResolutionProver[source]

Bases: Prover

ANSWER_KEY = 'ANSWER'
prove(goal=None, assumptions=None, verbose=False)[source]
Returns

Whether the proof was successful or not.

Return type

bool