TY  - BOOK
AU  - DeGroot,Doug
AU  - Lindstrom,Gary
TI  - Logic programming : functions, relations, and equations
SN  - 0135399580
U1  - QA/76.6 
PY  - 1986///
CY  - Englewood Cliffs, New Jersey
PB  - Prentice-Hall
KW  - Electronic digital computers -- Programming.
KW  - Logic, Symbolic and mathematical.
ER  -