Prolog Programming for Artificial Intelligence - BRATKO (IVAN) (New Delhi PEARSON)