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 (Unix version) - 6 Dec 2011