nltk.inference.api.Prover

class documentation

class Prover: (source)

Known subclasses: nltk.inference.api.ParallelProverBuilder, nltk.inference.prover9.Prover9, nltk.inference.resolution.ResolutionProver, nltk.inference.tableau.TableauProver

View In Hierarchy

Interface for trying to prove a goal from assumptions. Both the goal and the assumptions are constrained to be formulas of logic.Expression.

Method	`prove`	No summary
Method	`_prove`	No summary

def prove(self, goal=None, assumptions=None, verbose=False): (source) ¶

Returns
bool	Whether the proof was successful or not.

@abstractmethod
def _prove(self, goal=None, assumptions=None, verbose=False): (source) ¶

overridden in nltk.inference.api.ParallelProverBuilder, nltk.inference.prover9.Prover9, nltk.inference.resolution.ResolutionProver, nltk.inference.tableau.TableauProver

Returns
tuple: (bool, str)	Whether the proof was successful or not, along with the proof