Concepts, Design, and Performance Analysis of a Parallel Prolog Machine Image close
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine by Joachim Beer
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine by Joachim Beer
Show Hide Adult Content
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Programming languages

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$135.99
RRP:
$158.95 save $22.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Mathematical Foundations of Programming Semantics Save $55
$141.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$118.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
DIANA. An Intermediate Language for Ada
$80.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking Software Save $22
$135.99
$158.95
Model Checking Software
Paperback / softback
Available - Usually ships in 3-4 weeks
CSL'88 Save $45
$150.99
$196.95
CSL'88
Paperback / softback
Available - Usually ships in 3-4 weeks
Universal Access. Theoretical Perspectives, Practice, and Experience
$267.99
Universal Access. Theoretical Perspectives, Practice, and Experience
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$204.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Paragon by Mark S. Sherman Save $44
$135.99
$180.95
Paragon
by Mark S. Sherman ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
$290.99
Theoretical Computer Science: Exploring New Frontiers of Theoretical...
Paperback / softback
Available - Usually ships in 3-4 weeks
Ada 95 Reference Manual: Language and Standard Libraries
$267.99
Ada 95 Reference Manual: Language and Standard Libraries
Paperback / softback
Available - Usually ships in 3-4 weeks
Evaluation of Cross-Language Information Retrieval Systems
$268.99
$270.95
Evaluation of Cross-Language Information Retrieval Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking and Artificial Intelligence
$134.99
$135.95
Model Checking and Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving in Higher Order Logics Save $15
$135.99
$151.95
Theorem Proving in Higher Order Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
Conceptual Modelling and Its Theoretical Foundations
$135.99
Conceptual Modelling and Its Theoretical Foundations
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Science Logic
$267.99
Computer Science Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Types for Proofs and Programs Save $16
$141.99
$158.95
Types for Proofs and Programs
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author shows how even fully deterministic Prolog programs can be effectively mapped onto the proposed architecture. The design is based on a highly optimized abstract Prolog specific instruction set. A special feature of this work is a sophisticated classification scheme for Prolog variables which substantially reduces the overhead for unification with occur-check. To support the model an architecture consisting of a circular pipeline of independent processors has been designed. This pipeline has been designed to work as a co-processor to a UNIX based workstation. In contrast to other attempts to execute sequential Prolog in parallel, the proposed model does not restrict the use of any of the standard Prolog language features. The book gives a full account of the execution model, the system architecture, and the abstract Prolog instruction set.
Release date Australia
December 13th, 1989
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
VIII, 132 p.
Pages
132
Dimensions
155x233x7
ISBN-13
9783540520535
Product ID
2828667

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general