Logic and Prolog Programming by Saroj Kaushik | Menrva Books | MenrvaBooks