nltk.ResolutionProver

class nltk.ResolutionProver[source]

Methods

prove([goal, assumptions, verbose])
return:Whether the proof was successful or not.

Attributes

ANSWER_KEY