| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Clause.class | 2005-08-02 09:54 | 2.9K | ||
| Connectors.class | 2005-08-02 09:54 | 561 | ||
| DLKnowledgeBase.class | 2005-08-02 09:54 | 5.7K | ||
| FOLDomain.class | 2005-08-02 09:54 | 1.6K | ||
| Fact.class | 2005-08-02 09:54 | 1.0K | ||
| PredicateCollector.c..> | 2005-08-02 09:54 | 3.4K | ||
| Rule.class | 2005-08-02 09:54 | 4.4K | ||
| SubstVisitor.class | 2005-08-02 09:54 | 3.4K | ||
| Unifier.class | 2005-08-02 09:54 | 4.1K | ||
| VariableCollector.class | 2005-08-02 09:54 | 2.1K | ||
| demos/ | 2005-08-02 09:54 | - | ||
| parsing/ | 2005-08-02 09:54 | - | ||