nltk.inference.tableau

module documentation
(source)

Module for a tableau-based First Order theorem prover.

Class Agenda No class docstring; 0/1 instance variable, 1/12 method documented
Class Categories Undocumented
Class Debug Undocumented
Class TableauProver Undocumented
Class TableauProverCommand No class docstring; 1/1 method documented
Exception ProverParseError Undocumented
Function demo Undocumented
Function tableau_test Undocumented
Function testHigherOrderTableauProver Undocumented
Function testTableauProver Undocumented
Variable _counter Undocumented
def demo(): (source)

Undocumented

def tableau_test(c, ps=None, verbose=False): (source)

Undocumented

def testHigherOrderTableauProver(): (source)

Undocumented

def testTableauProver(): (source)

Undocumented

_counter = (source)

Undocumented