Building Expert systems in Prolog - Dennis Merritt (Springer-Verlag, 1984)