nltk.inference.api.ProverCommandDecorator

class documentation

class ProverCommandDecorator(TheoremToolCommandDecorator, ProverCommand): (source)

Known subclasses: nltk.inference.nonmonotonic.ClosedDomainProver, nltk.inference.nonmonotonic.ClosedWorldProver, nltk.inference.nonmonotonic.UniqueNamesProver

Constructor: ProverCommandDecorator(proverCommand)

View In Hierarchy

A base decorator for the ProverCommand class from which other prover command decorators can extend.

Method __init__ No summary
Method decorate_proof Modify and return the proof string :param proof_string: str the proof to decorate :param simplify: bool simplify the proof? :return: str
Method get_prover Return the prover object :return: Prover
Method proof Return the proof string :param simplify: bool simplify the proof? :return: str
Method prove Perform the actual proof.
Instance Variable _proof Undocumented
Instance Variable _result Undocumented

Inherited from TheoremToolCommandDecorator:

Method add_assumptions Add new assumptions to the assumption list.
Method assumptions List the current assumptions.
Method goal Return the goal
Method print_assumptions Print the list of the current assumptions.
Method retract_assumptions Retract assumptions from the assumption list.
Instance Variable _command Undocumented
def __init__(self, proverCommand): (source)
overrides nltk.inference.api.TheoremToolCommandDecorator.__init__
Parameters
proverCommandProverCommand to decorate
def decorate_proof(self, proof_string, simplify=True): (source)

Modify and return the proof string :param proof_string: str the proof to decorate :param simplify: bool simplify the proof? :return: str

def get_prover(self): (source)
overrides nltk.inference.api.ProverCommand.get_prover

Return the prover object :return: Prover

def proof(self, simplify=True): (source)
overrides nltk.inference.api.ProverCommand.proof

Return the proof string :param simplify: bool simplify the proof? :return: str

def prove(self, verbose=False): (source)
overrides nltk.inference.api.ProverCommand.prove

Perform the actual proof.

_proof = (source)

Undocumented

_result = (source)
overrides nltk.inference.api.TheoremToolCommandDecorator._result

Undocumented