TY - BOOK AU - Kaushik, S. TI - Logic and Prolog Programming PY - 2002/// CY - New Delhi PB - New Age International Publishers ER -