NextPrevUpTopContentsIndex

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 (Macintosh version) - 4 Apr 2005

NextPrevUpTopContentsIndex