TY  - BOOK
AU  - Degroot, Doug,
AU  - Lindstrom,Gary
TI  - Logic programming: Functions, relations, and equations 
SN  - 0135399580
AV  - QA76.6 D427
PY  - 1986///
CY  - Englewoods cliffs, new jersey
PB  - Prentice Hall
KW  - Lógica simbólica y matemática
KW  - Programación de computadoras
ER  -