License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2013.9
URN: urn:nbn:de:0030-drops-40465
Go to the corresponding OASIcs Volume Portal

Santos, João ; Rocha, Ricardo

Or-Parallel Prolog Execution on Clusters of Multicores

21.pdf (0.3 MB)


Logic Programming languages, such as Prolog, provide an excellent framework for the parallel execution of logic programs. In particular, the inherent non-determinism in the way logic programs are structured makes Prolog very attractive for the exploitation of implicit parallelism. One of the most noticeable sources of implicit parallelism in Prolog programs is or-parallelism. Or-parallelism arises from the simultaneous evaluation of a subgoal call against the clauses that match that call. Arguably, the most successful model for or-parallelism is environment copying, that has been efficiently used in the implementation of or-parallel Prolog systems both on shared memory and distributed memory architectures. Nowadays, multicores and clusters of multicores are becoming the norm and, although, many parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them was specially designed to explore the combination of shared with distributed memory architectures. Motivated by our past experience, in designing and developing parallel Prolog systems based on environment copying, we propose a novel computational model to efficiently exploit implicit parallelism from large scale real-world applications specialized for the novel architectures based on clusters of multicores.

BibTeX - Entry

  author =	{Jo{\~a}o Santos and Ricardo Rocha},
  title =	{{Or-Parallel Prolog Execution on Clusters of Multicores}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  pages =	{9--20},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-52-1},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{29},
  editor =	{Jos{\'e} Paulo Leal and Ricardo Rocha and Alberto Sim{\~o}es},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-40465},
  doi =		{10.4230/OASIcs.SLATE.2013.9},
  annote =	{Keywords: Logic Programming, Or-Parallelism, Environment Copying, Scheduling}

Keywords: Logic Programming, Or-Parallelism, Environment Copying, Scheduling
Collection: 2nd Symposium on Languages, Applications and Technologies
Issue Date: 2013
Date of publication: 05.06.2013

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI