Concepts, design, and performance analysis of a parallel prolog machine
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 archite...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
404 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Concepts, design, and performance analysis of a parallel prolog machine, Joachim Beer, Berlin, Springer-Verlag, 1989, 1 vol. (VI-128 p.), Lecture notes in computer science, 0-387-52053-8 • Concepts, Design, and Performance Analysis of a Parallel Prolog Machine, Texte imprimé, 9783662161630 |
| LEADER | 03538nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 943848 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155165852 | ||
| 020 | |a 9783540468738 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.133 | ||
| 100 | 1 | |a Beer, Joachim, |d 19..- | |
| 245 | 1 | 0 | |a Concepts, design, and performance analysis of a parallel prolog machine |c Joachim Beer. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 404 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Compilation of sequential Prolog -- Pipelined execution of sequential Prolog -- The occur-check problem -- The abstract parallel Prolog machine -- Simulation -- Conclusion -- Benchmark programs -- Compilation examples. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Prolog (langage de programmation) | ||
| 776 | 0 | |0 021351899 |t Concepts, design, and performance analysis of a parallel prolog machine |f Joachim Beer |c Berlin |n Springer-Verlag |d 1989 |p 1 vol. (VI-128 p.) |s Lecture notes in computer science |z 0-387-52053-8 | |
| 776 | 0 | |t Concepts, Design, and Performance Analysis of a Parallel Prolog Machine |b Texte imprimé |z 9783662161630 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-52053-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TLWM5NVK-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747925151 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-52053-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750937270 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-52053-8 |z Accès INSA CVL | |
| 997 | |0 943848 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||