TY - BOOK AU - Saroj Kaushik TI - Logic and Prolog Programming SN - 81-224-1409-5 PY - 2002/// CY - New Delhi PB - New Age International (P KW - Logic KW - Computer Science N1 - YES ER -