TY  - BOOK
AU  - Maier, David.
AU  - Warren, David S.
TI  - Computing with logic  : logic programming with prolog
SN  - 0805366814
U1  - 005.133 
PY  - 1988///
CY  - Menlo park
PB  - Benjamin Cummings
ER  -