Home       Trees       Indices       Help   
SPADE
Package spade :: Module logic :: Class PropKB
[hide private]
[frames] | no frames]

Class PropKB

source code

A KB for Propositional Logic. Inefficient, with no indexing.

Instance Methods [hide private]
 
__init__(self, sentence=None) source code
 
tell(self, sentence)
Add the sentence's clauses to the KB		 source code
 
ask_generator(self, query)
Yield the empty substitution if KB implies query; else False		 source code
 
retract(self, sentence)
Remove the sentence's clauses from the KB		 source code

Inherited from KB: ask

Method Details [hide private]

__init__(self, sentence=None)
(Constructor)

source code 
Overrides: KB.__init__

tell(self, sentence)

source code 

Add the sentence's clauses to the KB

Overrides: KB.tell

ask_generator(self, query)

source code 

Yield the empty substitution if KB implies query; else False

Overrides: KB.ask_generator

retract(self, sentence)

source code 

Remove the sentence's clauses from the KB

Overrides: KB.retract

   Home       Trees       Indices       Help   
SPADE
Generated by Epydoc 3.0.1 on Wed Aug 1 18:44:50 2012 http://epydoc.sourceforge.net