AIT-KACI, Hassan Warren's abstract machine: a tutorial reconstruction / Hassan Ait-Kaci - London MIT press 1991 - xvi, 114 p. Includes appendix, references & index. ISBN: 262510588 Subjects--Topical Terms: Prolog Computer program languageElectronic digital computers Dewey Class. No.: 6.3 / AIT