BUILDING EXPERT SYSTEMS IN PROLOG - Merritt, Dennis (Springer, 1989)