TY  - BOOK
AU  - Hogger, Christopher John
TI  - Introduction to logic programming
T2  - APIC Studies in Data Processing
SN  - 0123520908
U1  - 005.115 21st ed.
PY  - 1984///
CY  - London
PB  - Academic Press,INC.
KW  - Electronic digital computers - Programming
KW  - Logic-symbolic and mathematical prolog
KW  - Data structures
KW  - Program verification
N1  - Index: p. 273-78
ER  -