Zur Zeit liegt uns keine Inhaltsangabe vor.

Klappentext

Zur Zeit liegt uns keine Inhaltsangabe vor.

Inhalt

1 Introduction.- Logic Programming.- A Prolog Model.- Some Example Applications in Prolog..- Progress in Prolog Implementations..- Computer Architecture.- Other Symbolic Computing Processors.- The Japanese PSI..- The LISP Machines..- The SPUR Project..- Motivation.- Contributions.- Organization.- 2 An Abstract Prolog Machine.- Data Types.- Memory Areas.- Some Definitions.- Instruction Set.- Procedure Code..- Indexing Code..- Clause Code..- Data Manipulation Code..- An Example of Compiled Code..- Fundamental Operations.- Failure..- Variable Binding and Dereferencing..- Trailing..- General Unification..- Summary.- 3 A Modified WAM.- Address Space of the PLM.- Representing Data..- Representing Code..- Completing the Instruction Set.- Support for cdr-coding..- The cut Operation..- An Unnecessary Instruction..- Enhancements to the WAM.- The Environment Size..- Indexing Instructions..- An Unnecessary Register..- Tail Recursion Revisited..- Implementing Built-in Functions.- Compiler Implemented Built-ins..- Internal Built-ins..- External Built-ins..- Some Particularly Difficult Built-ins..- Side-effect Variables..- General assert and retract - Overview..- Code Space Modification..- 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.- Write Buffering..- Choice Point Cache..- Environment and Trail Buffering..- Summary.- 5 The Experiment.- Methodology.- The Simulators.- ISA Simulation - Level 1..- RTL Simulation - Level 2..- The Benchmark Set.- Results.- Determinate concat - A Case Study..- The Effects of cdr-coding..- The Effects of Environment Trimming..- The Effects of Sidetracking..- The Effects of Host and Memory Speed..- The Effects of Buffers and Caches..- A Critique of the PLM Microcode..- Further Improvements to the PLM.- Summary.- 6 Conclusions.- Directions for Future Research.- Conclusions.