A High Performance Architecture for Prolog: 90 (The Springer International Series in Engineering and Computer Science, 90) - Image 1

£85.34

Springer A High Performance Architecture for Prolog: 90 (The Springer International Series in Engineering and Computer Science, 90)

Name: A High Performance Architecture for Prolog: 90 (The Springer International Series in Engineering and Computer Science, 90)
Brand: Springer
Price: 85.34 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£85 today · previous high £85 · all-time low £85

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 75 days • 75 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 75 days • 1 price levels

Days at Price

Price Analysis

Most common price: £85 (75 days, 100.0%)

Price range: £85 - £85

Price levels: 1 different prices over 75 days

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0792390601
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 31 January 1990
Listed Since: 15 February 2007

Barcode

No barcode data available

Springer A High Performance Architecture for Prolog: 90 (The Springer International Series in Engineering and Computer Science, 90)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

A High Performance Architecture for Prolog: 90 (The Springer International Series in Engineering and Computer Science)

The Implementation of Prolog (Princeton Legacy Library)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Clause and Effect: Prolog Programming for the Working Programmer

Prolog: The Standard: Reference Manual

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Prolog: The Next 50 Years: 13900 (Lecture Notes in Computer Science, 13900)

Prolog Versus You: An Introduction to Logic Programming

Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Logic and Language Models for Computer Science: Third Edition

Springer - Logics of Specification Languages Monograph

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

A Programming Approach to Computability (Monographs in Computer Science)

North Holland Higher Order Logic Theorem Proving Proceedings

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)