Saroj Kaushik Logic and Prolog Programming - 1st - New Delhi New Age International (P 2002 YES ISBN: 81-224-1409-5 Subjects--Topical Terms: Logic Computer Science Dewey Class. No.: