nltk.inference.prover9.Prover9CommandParent

class documentation

class Prover9CommandParent(object): (source)

Known subclasses: nltk.inference.mace.MaceCommand, nltk.inference.prover9.Prover9Command

View In Hierarchy

A common base class used by both Prover9Command and MaceCommand, which is responsible for maintaining a goal and a set of assumptions, and generating prover9-style input files from them.

Method print_assumptions Print the list of the current assumptions.
def print_assumptions(self, output_format='nltk'): (source) ΒΆ

Print the list of the current assumptions.