Knowledge Science GroupDept of Computer ScienceUniveristy of Calgary
| Interface | Description |
|---|---|
| FunctionalTermTable |
| Class | Description |
|---|---|
| BuiltInPredicateFilters | |
| CFPFilters | |
| DefaultFilterKBaseLoader | |
| EventMemoryFilters | |
| FunctionalTermTableImpl | |
| HornClauseFilter |
The
HornClauseFilter makes it possible to process the assertion of
Horn clauses (like in Prolog). |
| NestedBeliefFilters |