Prolog and expert systems - Bowen, Kenneth A. (McGraw-Hill, 1991)