TY  - BOOK
AU  - Maier, David
AU  - Warren, David S.
TI  - Computing with logic : logic programming with Prolog
U1  - 001.6424 
PY  - 1988///
CY  - California
PB  - Benjamin/Cummings Publishing
KW  - Prolog (Computer Program Language)
KW  - Logic Programming
ER  -