TY - BOOK AU - Kaushik, Saroj TI - Logic and prolog programming SN - 8122414095 U1 - 005.133 PY - 2002/// CY - New Delhi PB - New Age International ( P ) Ltd. KW - Computer Science ER -