Compiler optimizations for the WAM
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.
- E. Tick Prolog Memory-Referencing Behavior, Research Paper 85–281, Computer Systems Laboratory, Stanford University, 1985.Google Scholar
- 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