Building expert systems in prolog - Merritt, Dennis. (Springer Compass International., 1989)