TY  - BOOK
AU  - Kaushik (Saroj)
TI  - Logic And Prolog Programming 
U1  - E 005.115KAU 
CY  -  New Delhi 
PB  -  New Age Publication 
ER  -