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