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

Files

TR-86-17.pdf (5.32 MB)
Downloads: 236

TR Number

TR-86-17

Date

1986

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Department of Computer Science, Virginia Polytechnic Institute & State University

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.

Description

Keywords

Citation

Persistent link

http://hdl.handle.net/10919/19642

Collections

Computer Science Technical Reports