TY  - BOOK
AU  - LLoyd, JW
TI  - Foundations of logic programming
U1  - 005.187 L777F 
PY  - 1987///
CY  - Berlin
ER  -