TY - BOOK AU - KAUSHIK (SAROJ) TI - Logic and Prolog Programming U1 - 005.115 CY - New Delhi PB - NEW AGE PUBLICATION ER -