Building expert systems in Prolog - Merritt, Dennis (Springer compass international, 1989)