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

Class SpadeKB

source code

Instance Methods [hide private]
 
tell(self, sentence)
Add the sentence to the KB		 source code
 
retract(self, sentence)
Remove the sentence from the KB		 source code
 
ask(self, q)
Ask returns a substitution that makes the query true, or it returns False.		 source code
 
_encode(self, key, value) source code
 
_decode(self, key) source code
 
_gen_decode(self, key) source code

Inherited from logic.FolKB: __init__, ask_generator

Method Details [hide private]

tell(self, sentence)

source code 

Add the sentence to the KB

Overrides: logic.KB.tell
(inherited documentation)

retract(self, sentence)

source code 

Remove the sentence from the KB

Overrides: logic.KB.retract
(inherited documentation)

ask(self, q)

source code 

Ask returns a substitution that makes the query true, or it returns False. It is implemented in terms of ask_generator.

Overrides: logic.KB.ask
(inherited documentation)

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