An Implementation of D. H. Warren's PROLOG Machine on a Vax 11/780

Cotlin, R. W. and Roach, John W. (1986) An Implementation of D. H. Warren's PROLOG Machine on a Vax 11/780. Technical Report TR-86-17, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-86-17.pdf (5574129)

Abstract

This report describes, in considerable detail, the implementation of a Prolog compiler on a VAX. This implementation is modeled after Warren's Abstract Machine (WAM) for Prolog. The report clarifies and gives examples of the most important concepts in Warren's dissertation. In this regard, this report serves as a tutorial for others who wish to implement a Prolog compiler.

Item Type:	Departmental Technical Report
Subjects:	Computer Science > Historical Collection(Till Dec 2001)
ID Code:	24
Deposited By:	User autouser
Deposited On:	03 November 2005