All Manuals > KnowledgeWorks and Prolog User Guide > 6 Advanced Topics

NextPrevUpTopContentsIndex

6.2 Optimization

6.2.1 Forward Chaining

6.2.2 Conflict Resolution

6.2.3 Backward Chaining


KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011

NextPrevUpTopContentsIndex