TY - BOOK AU - Kaushik, Saroj TI - Logic and prolog programming SN - 9788122414097 U1 - 005.1 PY - 2002/// CY - New Delhi PB - New Age ER -