Logic and Prolog Programming - KAUSHIK (SAROJ) (NEW AGE PUBLICATION New Delhi)