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) - 29 Feb 2008
