TY  - BOOK
AU  - J. W. Lloyd
TI  - Foundations of logic programming
SN  - 3540181997
U1  - 006.3 
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer scienceComputer science; Artificial intelligence; Programming languages (Electronic computers)-Semantics
ER  -