TY  - BOOK
AU  - Lloyd,J.W.
TI  - Foundations of logic programming
T2  - Symbolic computation. Artificial intelligence
SN  - 3540132996
PY  - 1984///
CY  - Berlín
PB  -  Springer-Verlag
KW  - PROGRAMACIÓN LÓGICA
ER  -