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

Joachim Beer

ISBN 10: 3540520538 / ISBN 13: 9783540520535

Editore: Springer, Springer Berlin Heidelberg Dez 1989, 1989

Riguardo questo articolo

This item is printed on demand - it takes 3-4 days longer - Neuware -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 unificationwith 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. 140 pp. Englisch.

Codice articolo 9783540520535

Dati bibliografici

• Titolo: Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
• Editore: Springer, Springer Berlin Heidelberg Dez 1989
• Data di pubblicazione: 1989
• Lingua: Inglese
• ISBN 10: 3540520538
• ISBN 13: 9783540520535
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 8 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 8 millimetri di profondità
• Peso: 224 grammi

Descrizione articolo

Riassunto

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.

Contenuti

Compilation of sequential Prolog.- Pipelined execution of sequential Prolog.- The occur-check problem.- The abstract parallel Prolog machine.- Simulation.- Conclusion.- Benchmark programs.- Compilation examples.