TY  - BOOK
AU  - Hogger, Christopher John
TI  - Essentials of logic programming
T2  - Graduate texts in computer science
VL  - 1
SN  - 0-19-853832-4
PY  - 1990///
CY  - Oxford
PB  - Clarendon
KW  - Programação em lógica
KW  - QA76
KW  - CIUL-915
ER  -