TY - BOOK AU - KAUSHIK, S TI - LOGIC AND PROLOG PROGRAMMING SN - 8122414095 U1 - 005.115 KAU PY - 2003/// PB - NEW AGE ER -