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