TY  - BOOK
AU  - Kausik, saroj
TI  - Logic and prolog programming
SN  - 981-243-123-3
U1  - 5.133 
PY  - 2007///
CY  - Vidhyanagar
PB  - Neal age
ER  -