TY  - BOOK
AU  - Hogger,Christopher John
TI  - Introduction to logic programming
SN  - 0123520924
U1  - 005.133 HOG 
PY  - 1984///
CY  - Harcourt
PB  - academic Press
N1  - Includes bibliographical references
ER  -