Logic and prolog programming - Kaushik, Saroj (New Age International, 2002)