Compilation and Environment Optimizations for LogLisp

摘要

This report documents investigation of technical issues involved in improving the execution efficiency of LogLisp through the employment of logic programming compilation. LogLisp is a hybrid language combining logic programming and Lisp developed by Syracuse University under contact to RADC. The version of LogLisp discussed here is known as V2M3. The report consists of an Introduction followed by seven technical sections. The construction of a compiler for a programming language has the prerequisite that the virtual machine upon which its code will execute be completely specified. Logic programming compilers presently exist only for Polog. Section 2 provides concise model of Prolog interpretation. Section 3 describes commonly used Prolog space optimizations, and Section 6 Prolog compilation technology, as they apply that model. These sections on Prolog characterize very tersely implementation concepts and techniques to establish a foundation for discourse of the current technical investigation. The present LogLisp interpreter is modeled in Section 4. The design decisions implemented in that interpreter to represent search paths and environments with structure sharing techniques and to fix certain arbitrary control assumptions are also assumed in Section 5, which offers possible space optimizations, and Section 7, which presents a scheme for LogLisp compilation.