A High Performance Architecture for Prolog

Inhaltsverzeichnis

• 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.
• 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.
• 5 The Experiment.
• Methodology.
• The Simulators.
• The Benchmark Set.
• Results.
• Further Improvements to the PLM.
• 6 Conclusions.
• Directions for Future Research.
• Conclusions.