6
Advanced Topics
6.1 Control Flow
6.2 Optimization
6.3 Use of Meta-Classes
6.4 Logical Dependencies and Truth Maintenance
6.5 Inferencing States
KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008
