D.1.3 Uncertain Reasoning
Rule-Based Expert Systems
, by B. G. Buchanan and E. H. Shortliffe (Addison-Wesley). This text covers specifically the MYCIN system.
LispWorks KnowledgeWorks and Prolog User Guide - 14 Dec 2001
