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