TY  - BOOK
AU  - Maier,David
AU  - Warren, David S.
TI  - Computing with logic: Logic programming with prolog 
SN  - 0805366814
AV  - QA76.73P76 M35
PY  - 1988///
CY  - Menlo park, california
PB  - Benjamin/Cummings
KW  - Prolog (Lenguaje de programación para computadora)
KW  - Programación lógica
ER  -