TY  - BOOK
AU  - Clocksin,William.
AU  - Mellish,Christopher S.
TI  - Programming in prolog: using ISO standard
U1  - 005.133PRO 
PY  - 2003///
PB  - Springer(India)
KW  - Programming Language PRO
ER  -