TY  - BOOK
AU  - Spivey,Michael
TI  - An introduction to logic programming through Prolog
T2  - Prentice-Hall international series in computer science
SN  - 0135360471
U1  - 005.133 
PY  - 1996///
CY  - London
PB  - Prentice Hall
KW  - Logic programming
KW  - Prolog (Computer program language)
ER  -