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

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
Author :
Publisher : Springer Science & Business Media
Total Pages : 140
Release :
ISBN-10 : 3540520538
ISBN-13 : 9783540520535
Rating : 4/5 (535 Downloads)

Book Synopsis Concepts, Design, and Performance Analysis of a Parallel Prolog Machine by : Joachim Beer

Download or read book Concepts, Design, and Performance Analysis of a Parallel Prolog Machine written by Joachim Beer and published by Springer Science & Business Media. This book was released on 1989-12-13 with total page 140 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


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

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
Language: en
Pages: 140
Authors: Joachim Beer
Categories: Computers
Type: BOOK - Published: 1989-12-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
Language: en
Pages: 128
Authors: Joachim Beer
Categories: Parallel processing (Electronic computers)
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

Logic Programming
Language: en
Pages: 842
Authors: Maria Garcia Banda
Categories: Computers
Type: BOOK - Published: 2008-12-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The
Parallelization in Inference Systems
Language: en
Pages: 390
Authors: Bertram Fronhöfer
Categories: Computers
Type: BOOK - Published: 1992-04-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop
Logic Program Synthesis and Transformation
Language: en
Pages: 258
Authors: Yves Deville
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in