Package nltk :: Package inference :: Module nonmonotonic :: Class UniqueNamesProver

Class UniqueNamesProver

            object --+    
                     |    
ProverCommandDecorator --+
                         |
                        UniqueNamesProver

This is a prover decorator that adds unique names assumptions before proving.

Instance Methods

[hide private]

assumptions(self)
Domain = union([e.free(False) for e in all_expressions])

source code

goal(self)

source code

Inherited from ProverCommandDecorator: __init__, add_assumptions, get_prover, print_assumptions, prove, retract_assumptions

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties

[hide private]

Inherited from object: __class__