TY  - BOOK
AU  - Ait-kaci, Hassan,
ED  - Massachusetts Institute of Technology
TI  - Warren's abstract machine: A tutorial reconstruction 
T2  - Logic programming
SN  - 0262011239
AV  - QA76.73P76 A37
PY  - 1991///
CY  - Cambridge, massachusetts
PB  - The MIT Press
KW  - Prolog (Lenguaje de programación para computadora)
KW  - Programación lógica
KW  - Computadoras electrónicas digitales
ER  -