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) - 29 Feb 2008