@inproceedings{209f52e20d2f4231a3ef71611b2cfc63,
title = "A packet based demand/data driven reduction model for the parallel execution of logic programs",
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.",
author = "Lee, {Matthew K. O.}",
year = "1986",
month = sep,
doi = "10.1007/3-540-16811-7_173",
language = "English",
isbn = "978-3-540-16811-9",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "214--221",
editor = "H{\"a}ndler, {Wolfgang } and Haupt, {Dieter } and Jeltsch, {Rolf } and Juling, {Wilfried } and Lange, {Otto }",
booktitle = "CONPAR 1986 - Conference on Algorithms and Hardware for Parallel Processing, Proceedings",
address = "Germany",
note = "2nd Conference on Algorithms and Hardware for Parallel Processing, CONPAR 1986 ; Conference date: 17-09-1986 Through 19-09-1986",
}