TY  - BOOK
AU  - Spivey,J.Michael
TI  - An introduction to logic programming through Prolog
PY  - 1996///
CY  - London
PB  - Prentice Hall
KW  - Logic programming
KW  - Prolog (Computer program language)
N1  - Includes bibliography, appendices and index
ER  -