KnowledgeWorks and Prolog User Guide
>
3 Rules
>
3.1 Forward chaining
3.1.5
Control Flow
3.1.5.1 The Agenda
3.1.5.2 Contexts
3.1.5.3 Conflict Resolution
KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009