VPI PROLOG compiler project report

This project report documents a PROLOG compiler based on an abstract machine design published by David H. D. Warren. The implementation is actually a low-level intermediate language generator and interpreter. However, it is customary among PROLOG users to call this a compiler, since most PROLOG implementations are pure interpreters, i.e. they store PROLOG code as lists which mirror the source clauses. This compiler imcorporates many extensions to the abstract machine described by Dr. Warren.