Compiler optimizations for the WAM

  • Andrew K. Turk Logic
Session 7a: Compilation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


A series of Warren Abstract Machine (WAM) implementation techniques are presented. These techniques and compilation strategies are designed for use in a highly optimized native code Prolog compiler. A thorough knowledge of the WAM and Prolog compilation is assumed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

11. References

  1. E. Tick Prolog Memory-Referencing Behavior, Research Paper 85–281, Computer Systems Laboratory, Stanford University, 1985.Google Scholar
  2. D.H.D. Warren An Abstract Prolog Instruction Set Technical Note 309, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Andrew K. Turk Logic
    • 1
  1. 1.Programming Research Group School of Computer & Information ScienceSyracuse UniversitySyracuseUSA

Personalised recommendations