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.
KnowledgeWorks and Prolog User Guide (Unix version) - 4 Apr 2005
