D.1.1 Forward Chaining

• Programming Expert Systems in OPS5, An Introduction to Rule-Based Programming by Lee Brownston, Robert Farrell, Elaine Kant and Nancy Martin (Addison-Wesley). Whilst being specifically on OPS5 this text covers most aspects of forward chaining in considerable detail.

KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011