TY - BOOK AU - Kaushik, Saroj TI - Logic And Prolog Programming SN - 978-8122414097 U1 - 005.133 PY - 2008/// CY - New Delhi: PB - new age publishers ER -