TY  - GEN
AU  - Maier, David
AU  - Warren, David S.
TI  - Computing with logic: logic programming with prolog
SN  - 0805366814
PY  - 1988///
CY  - California
PB  - Benjamin/Cummings
KW  - Prolog (Computer program language)
KW  - Logic programming
ER  -