A High Performance Architecture for Prolog: The Springer International Series in Engineering and Computer Science, cartea 90

1 Introduction.- Logic Programming.- A Prolog Model.- Computer Architecture.- Other Symbolic Computing Processors.- Motivation.- Contributions.- Organization.- 2 An Abstract Prolog Machine.- Data Types.- Memory Areas.- Some Definitions.- Instruction Set.- Fundamental Operations.- Summary.- 3 A Modified WAM.- Address Space of the PLM.- Completing the Instruction Set.- Enhancements to the WAM.- Implementing Built-in Functions.- Summary.- 4 The Architecture Becomes a Machine.- The Prefetch Unit.- Defining a Basic Data Path.- Defining a Microengine.- Tuning the Data Path and the Microcode.- The Path to Memory.- Summary.- 5 The Experiment.- Methodology.- The Simulators.- The Benchmark Set.- Results.- Further Improvements to the PLM.- Summary.- 6 Conclusions.- Directions for Future Research.- Conclusions.