TY  - BOOK
AU  - Lloyd,J.W.
TI  - Foundations of logic programming
SN  - 3540132996
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic digital computers
KW  - Programming
KW  - Logic, Symbolic and mathematical
KW  - Programming language (Electronic computers)
KW  - Semantics
ER  -