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