TY - BOOK AU - "Kaushik, Saroj" TI - Logic and Prolog Program SN - 8122414095 U1 - 5 CY - NewDelhi ER -