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