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...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
404 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
Indholdsfortegnelse:
- Compilation of sequential Prolog
- Pipelined execution of sequential Prolog
- The occur-check problem
- The abstract parallel Prolog machine
- Simulation
- Conclusion
- Benchmark programs
- Compilation examples.