Overview

Artificial Intelligence is entering the mainstream of com- puter applications and as techniques are developed and integrated into a wide variety of areas they are beginning to tax the pro- cessing power of conventional architectures. To meet this demand, specialized architectures providing support for the unique features of symbolic processing languages are emerging. The goal of the research presented here is to show that an archi- tecture specialized for Prolog can achieve a ten-fold improve- ment in performance over conventional, general-purpose architec- tures. This book presents such an architecture for high perfor- mance execution of Prolog programs. The architecture is based on the abstract machine descrip- tion introduced by David H.D. Warren known as the Warren Abstract Machine (W AM). The execution model of the W AM is described and extended to provide a complete Instruction Set Architecture (lSA) for Prolog known as the PLM. This ISA is then realized in a microarchitecture and finally in a hardware design. The work described here represents one of the first efforts to implement the W AM model in hardware. The approach taken is that of direct implementation of the high level WAM instruction set in hardware resulting in a elSe style archi- tecture.

Full Product Details

Author:   T.P. Dobry
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1990
Volume:   90
Dimensions:   Width: 15.50cm , Height: 1.30cm , Length: 23.50cm
Weight:   0.373kg
ISBN:  

9781461288206

ISBN 10:   1461288207
Pages:   218
Publication Date:   18 April 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions