Home | Trees | Indices | Help |
|
---|
|
A KB of Propositional Horn clauses.
|
|||
|
|||
|
|||
|
|||
|
|||
|
Add a Horn Clauses to this KB.
|
Yield the empty substitution if KB implies query; else False
|
Remove the sentence's clauses from the KB
|
The list of clauses in KB that have p in the premise. This could be cached away for O(1) speed, but we'll recompute it. |
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0.1 on Wed Aug 1 18:44:50 2012 | http://epydoc.sourceforge.net |