KnowledgeWorks and Prolog User Guide
>
3 Rules
3.1
Forward chaining
3.1.1 Overview
3.1.2 Forward Chaining Syntax
3.1.3 Defining Forward Chaining Rules
3.1.4 The Forward Chaining Interpreter
3.1.5 Control Flow
3.1.6 Examples
3.1.7 Forward Chaining Debugging
KnowledgeWorks and Prolog User Guide (Windows version) - 22 Dec 2009
