|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| IDataSource | Interface for pluggable datasources for iris. |
| IFacts | |
| Class Summary | |
|---|---|
| Facts | A manager for all facts stored in a knowledge-base. |
| FactsWithExternalData | |
| FiniteUniverseFacts | Definition: Unsafe negation A rule has a variable in a negated sub-goal that also occurs in the head, but nowhere else. |
| OriginalFactsPreservingFacts | A facts adaptor that allows modification (i.e. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||