KnowledgeWorks and Prolog User Guide > 3 Rules

NextPrevUpTopContentsIndex

3.2 Backward Chaining

3.2.1 Overview

3.2.2 Backward Chaining Syntax

3.2.3 Objects

3.2.4 Defining Backward Chaining Rules

3.2.5 The Backward Chaining Interpreter

3.2.6 Edinburgh Prolog Translator

3.2.7 Backward Chaining Debugging


KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009

NextPrevUpTopContentsIndex