Building Expert Systems in Prolog - Merritt, Dennis (Springer Compass International, 1989)