TY  - BOOK
AU  - Ait-Kaci, Hassan
TI  - WARREN'S ABSTRACT MACHINE: Hassan Ait-Kaci
SN  - 0262510588
U1  - 006.3 
PY  - 1991///
CY  - Cambridge
PB  - MIT Press
KW  - Prolog (Computer program language)
KW  - Logic programming
KW  - Electronic digital computers
ER  -