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). While being specifically on OPS5, this text covers most aspects of forward chaining in considerable detail.
KnowledgeWorks and Prolog User Guide (Macintosh version) - 24 Mar 2017