Logic and Prolog Programming - Kaushik, S. (New Delhi New Age International Publishers, 2002)