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
LispWorks KnowledgeWorks and Prolog User Guide - 15 Jul 2003
