KnowledgeWorks and Prolog User Guide
>
D For More Information
D.1 General References
D.1.1 Forward Chaining
D.1.2 Backward Chaining and Prolog
D.1.3 Uncertain Reasoning
D.1.4 Expert Systems
D.1.5 Lisp and CLOS
KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009