TY - BOOK AU - KAUSHIK, SORAJ TI - LOGIC AND PROLOG PROGRAMMING T2 - N PY - 2006/// PB - NEW AGE ER -