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. Language: English