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
LispWorks KnowledgeWorks and Prolog User Guide (Windows version) - 14 Dec 2001
