A High Performance Architecture for Prolog by Tp Dobry
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.-
Foundations of Knowledge Acquisition
-
Satellite Communications
-
Open Source GIS
-
Nonholonomic Motion Planning
-
A Pyramid Framework for Early Vision
-
A General Model of Legged Locomotion on Natural Terrain
-
Biometrics
-
On-Chip ESD Protection for Integrated Circuits
-
VHDL '92
-
Any Time, Anywhere Computing
-
Speech and Human-Machine Dialog
-
Computer Analysis of Visual Textures
-
Silicon-on-Insulator Technology
-
Bayesian Approach to Image Interpretation
-
Power Trade-offs and Low-Power in Analog CMOS ICs
-
Analog VLSI Neural Networks
-
Sigma Delta A/D Conversion for Signal Conditioning
-
CMOS Current Amplifiers
-
Adaptive Techniques for Mixed Signal System on Chip
-
Wide-Bandwidth High Dynamic Range D/A Converters
-
Color Theory and Modeling for Computer Graphics, Visualization, and Multimedia Applications
-
Performance Evaluation and Applications of ATM Networks
-
Dynamic Characterisation of Analogue-to-Digital Converters
-
The Bounding Approach to VLSI Circuit Simulation
-
Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
-
Research Perspectives on Dynamic Translinear and Log-Domain Circuits
-
High-Frequency Oscillator Design for Integrated Transceivers
-
Methodology for the Digital Calibration of Analog Circuits and Systems
-
Mixed-Signal Layout Generation Concepts
-
Calibration Techniques in Nyquist A/D Converters
-
Distortion Analysis of Analog Integrated Circuits
-
Integrated Image and Graphics Technologies
-
Modeling and Simulation of Mixed Analog-Digital Systems
-
Design of Very High-Frequency Multirate Switched-Capacitor Circuits
-
Robustness in Automatic Speech Recognition
-
An Introduction to Error Correcting Codes with Applications
-
Application Specific Processors
-
Input/Output in Parallel and Distributed Computer Systems
-
Multithreaded Processor Design
-
Wireless Personal Communications
-
Pipelined Lattice and Wave Digital Recursive Filters
-
Object Orientation with Parallelism and Persistence
-
Binary Decision Diagrams and Applications for VLSI CAD
-
Multimedia Systems and Techniques
-
Feedback-Based Orthogonal Digital Filters
-
Client Data Caching
-
Software Performability: From Concepts to Applications
-
Human Interaction with Complex Systems
| SKU | Unavailable |
| ISBN 13 | 9781461288206 |
| ISBN 10 | 1461288207 |
| Title | A High Performance Architecture for Prolog |
| Author | Tp Dobry |
| Series | The Springer International Series In Engineering And Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag New York Inc. |
| Year published | 2013-04-18 |
| Number of pages | 218 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |