TY - BOOK AU - Kaushik, Saroj TI - Logic and Prolog programming SN - 8122414095 U1 - 005.133 KAU/LOG PY - 2002/// CY - New Delhi PB - New Age International ER -