A High Performance Architecture for Prolog
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
1990, 1990
|
| Edition: | 1st ed. 1990 |
| Series: | The Springer International Series in Engineering and Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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