nltk.ResolutionProver.prove¶

ResolutionProver.prove(goal=None, assumptions=None, verbose=False)¶

Returns:	Whether the proof was successful or not.
Return type:	bool