TY  - BOOK
AU  - Spirey M.
TI  - An introduction to logic programming through prolong
SN  - 135360471
AV  - QA 76,63  S65 
PY  - 1996///
CY  - London
PB  - Prentice Hall
KW  -  
KW  - Logic programming
ER  -