Prolog and Expert Systems - Bowen, Kenneth A. (McGraw-Hill, 1991)