A packet based demand/data driven reduction model for the parallel execution of logic programs
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Author(s)
Detail(s)
| Original language | English |
|---|---|
| Title of host publication | CONPAR 1986 - Conference on Algorithms and Hardware for Parallel Processing, Proceedings |
| Editors | Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange |
| Publisher | Springer Verlag |
| Pages | 214-221 |
| ISBN (electronic) | 978-3-540-44856-3 |
| ISBN (print) | 978-3-540-16811-9 |
| Publication status | Published - Sept 1986 |
| Externally published | Yes |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 237 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Conference
| Title | 2nd Conference on Algorithms and Hardware for Parallel Processing, CONPAR 1986 |
|---|---|
| Place | Germany |
| City | Aachen |
| Period | 17 - 19 September 1986 |
Link(s)
Abstract
This paper presents a computational model for Horn-clause logic programs. OR parallelism and a restricted kind of AND parallelism inherent in such programs are exploited. The model is reduction based and utilizes both data driven and demand driven mechanisms for the efficient use of computational resources and control of parallelism. The binding environment of logical variables in a clause is distributed in nature and a form of back-unification is used to reduce communication traffic in a parallel machine architecture. The model is described in a packet reduction framework which makes it possible for implementation on the range of existing parallel machines supporting packet based reduction model for functional programs.
Citation Format(s)
A packet based demand/data driven reduction model for the parallel execution of logic programs. / Lee, Matthew K. O.
CONPAR 1986 - Conference on Algorithms and Hardware for Parallel Processing, Proceedings. ed. / Wolfgang Händler; Dieter Haupt; Rolf Jeltsch; Wilfried Juling; Otto Lange. Springer Verlag, 1986. p. 214-221 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 237 LNCS).
CONPAR 1986 - Conference on Algorithms and Hardware for Parallel Processing, Proceedings. ed. / Wolfgang Händler; Dieter Haupt; Rolf Jeltsch; Wilfried Juling; Otto Lange. Springer Verlag, 1986. p. 214-221 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 237 LNCS).
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
