Kaushik, Saroj Logic and Prolog programming - New Delhi New Age International 2002 - xv, 319P.: ISBN: 8122414095 Dewey Class. No.: 005.133 KAU/LOG