Prolog Programming for Artificial Intelligence - BRATKO (IVAN) (PEARSON NEW YORK)