Home | Trees | Indices | Help |
|
---|
|
A KB for Propositional Logic. Inefficient, with no indexing.
|
|||
|
|||
|
|||
|
|||
|
|||
|
|
Add the sentence's clauses to the KB
|
Yield the empty substitution if KB implies query; else False
|
Remove the sentence's clauses from the KB
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0.1 on Wed Aug 1 18:44:50 2012 | http://epydoc.sourceforge.net |