TY  - BOOK
AU  - Lloyd, J. W.
TI  - Foundations of logic programming
SN  - 0387132996 (U.S.)
U1  - 005.115 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
N1  - Includes index
ER  -