Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001848034/catalog> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- catalog abstract ""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."--Publisher's website.".
- catalog contributor b2657569.
- catalog created "c1989.".
- catalog date "1989".
- catalog date "c1989.".
- catalog dateCopyrighted "c1989.".
- catalog 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."--Publisher's website.".
- catalog description "Includes bibliographical references.".
- catalog extent "vi, 128 p. :".
- catalog hasFormat "Concepts, design, and performance analysis of a parallel prolog machine.".
- catalog identifier "0387520538 (U.S.) :".
- catalog isFormatOf "Concepts, design, and performance analysis of a parallel prolog machine.".
- catalog isPartOf "Lecture notes in computer science ; 404".
- catalog issued "1989".
- catalog issued "c1989.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Concepts, design, and performance analysis of a parallel prolog machine.".
- catalog subject "005.13/3 20".
- catalog subject "Parallel processing (Electronic computers)".
- catalog subject "Prolog (Computer program language)".
- catalog subject "QA76.73.P76 B44 1989".
- catalog title "Concepts, design, and performance analysis of a parallel prolog machine / Joachim Beer.".
- catalog type "text".