Logic And Prolog Programming - Kaushik (Saroj) (New Age Publication New Delhi)