Package spade :: Module SWIKB :: Class SWIKB
[hide private]
[frames] | no frames]

Class SWIKB

source code


SWI Prolog knowledge base

Instance Methods [hide private]
 
__init__(self, sentence=None, path='swipl')
Constructor method Usage: SWIKB( sentence, path ) sentence - Prolog sentence to be added to the KB (default: None) path - path to SWI Prolog executable (default: 'swipl')
source code
 
tell(self, sentence)
Adds sentence to KB
source code
 
ask(self, query)
Queries the KB
source code
 
retract(self, sentence)
Deletes sentence from KB
source code
 
loadModule(self, module)
Loads module to KB Usage: instance.loadModule( path ) path - path to module
source code

Inherited from logic.KB: ask_generator

Method Details [hide private]

__init__(self, sentence=None, path='swipl')
(Constructor)

source code 

Constructor method Usage: SWIKB( sentence, path ) sentence - Prolog sentence to be added to the KB (default: None) path - path to SWI Prolog executable (default: 'swipl')

Overrides: logic.KB.__init__

tell(self, sentence)

source code 

Adds sentence to KB

Overrides: logic.KB.tell

ask(self, query)

source code 

Queries the KB

Overrides: logic.KB.ask

retract(self, sentence)

source code 

Deletes sentence from KB

Overrides: logic.KB.retract