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)