Hostname: page-component-cd9895bd7-gvvz8 Total loading time: 0 Render date: 2024-12-23T11:47:36.104Z Has data issue: false hasContentIssue false

Past and present (and future) of parallel and distributed computation in (constraint) logic programming

Published online by Cambridge University Press:  05 September 2018

FERDINANDO FIORETTO
Affiliation:
University of Michigan, Ann Arbor, MI 48109, USA (e-mail: [email protected])
ENRICO PONTELLI
Affiliation:
New Mexico State University, Las Cruces, NM 88003, USA (e-mail: [email protected])
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Declarative languages offer unprecedented opportunities for the use of parallelism to speed up execution. A declarative language, being not procedural, removes the need to perform operations in a strict order and reduces the number of dependencies among operations, thus opening the doors for concurrent execution. The potential for transparent exploitation of parallelism in logic programming emerged almost immediately with the birth of the paradigm (Pollard 1981).

Type
Editorial
Copyright
Copyright © Cambridge University Press 2018 

References

Dovier, A., Formisano, A. and Pontelli, E. 2018. Parallel answer set programming. In Handbook of Parallel Constraint Reasoning. Hamadi, Y. and Sais, L., Eds. Springer International Publishing: Heidelberg, Germany, 237282.Google Scholar
Gupta, G., Pontelli, E., Carlsson, M., Hermenegildo, M. and Ali, K. 2001. Parallel execution of prolog programs: A survey. ACM Transactions on Programming Languages and Systems 23, 4, 472602.Google Scholar
Hyvarinen, A. and Wintersteiger, C. 2018. Parallel satisfiability modulo theories. In Handbook of Parallel Constraint Reasoning. Hamadi, Y. and Sais, L., Eds. Springer: Heidelberg, Germany, 141178.Google Scholar
Pollard, G. H. 1981. Parallel Execution of Horn Clause Programs. PhD Thesis, Department of Computing, Imperial College, London.Google Scholar