TY  - BOOK
AU  - Hogger C J
TI  - Introduction to logic programming
SN  - 0-12-352090-8
U1  - 005.115 
PY  - 1984///
CY  - London
PB  - Academic Press
KW  - Computer science
KW  - Logic programming
ER  -