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