Warren's abstract machine : a tutorial reconstruction /
Aït-Kaci, Hassan,1954-
Cambridge, Mass. ; London : MIT Press,
c1991.
Includes bibliographical references and index.
Prolog (Computer program language)
Logic programming.
Electronic digital computers.