Prolog And Expert System / Kenneth A.bowen - Bowen, Kenneth A. (McGraw-Hill)