TY  - BOOK
AU  - Maier,David
AU  - Warren,David S.
TI  - Computing with logic : logic programming with prolog
SN  - 0805366814
U1  - QA/76.73.P76 
PY  - 1988///
CY  - Menlo Park
PB  - The Benjamin/Cummings Publishing Company
KW  - Logic programming.
KW  - Prolog (Computer program language).
ER  -