On Supporting Parallelism in a Logic Programming System

Vítor Santos Costa

January 2008

---

Abstract

Logic Programming is a declarative approach to programming where one can specify a problem in a high-level fashion. Several major approaches to implicit and explicit parallelism have been proposed for logic programming in Prolog. But, arguably, the last few years have seen most interest in the explicit parallelization of Prolog.
With the advent of multi-core processors, parallelism is just available. One boring, but useful approach, is bag-of-tasks parallelism. We believe that the challenge facing parallel logic programming is to make all forms of parallelism as boring as possible. To do so, we propose some principles from our experience with previous work in Parallel Logic Programming, discuss how much a Prolog system needs to be adapted to support these principles, and present an application.

Bibtex

@InProceedings{santoscosta-damp08,
  author =    {V. Santos Costa},
  title =     {{On Supporting Parallelism in a Logic Programming System}},
  booktitle = {Proceedings of the 3rd Workshop on Declarative Aspects of Multicore Programming (DAMP 2008)},
  pages =     {77--91},
  editor =    {M. V. Hermenegildo},
  month =     {January},
  year =      {2008},
  address =   {San Francisco, California, USA},
}

Download Paper

PDF file