TY - BOOK AU - Kaushik,Saroj TI - Logic and prolog programming SN - 8122414095 (pbk) U1 - 005.133 PY - 2002/// CY - New Delhi PB - New Age International Pub. KW - Logic programming KW - Prolog (Computer program language) N1 - Includes index ER -