A parallel implementation of Flat Concurrent Prolog

Stephen Taylor, Shmuel Safra, Ehud Shapiro

Research output: Contribution to journalArticlepeer-review

Abstract

Flat Concurrent Prolog is a simple, practical, concurrent programming language which has an efficient uniprocessor implementation. This paper describes an initial parallel implementation of the language; it consists of an interpreter implemented on an Intel iPSC Hypercube. The parallel execution of concurrent logic programming languages involves many nontrivial implementation problems. Some of these problems are well known and have been treated extensively in the literature. The most difficult task is to integrate problem solutions in a coherent and efficient manner. The algorithm presented has been useful in providing insights into the major problems and includes a number of novel ideas to simplify implementation. It does not attempt to solve all the problems involved but rather provides a workable basis for current and future research. The algorithm is under ongoing refinement, simplification and improvement.

Original languageEnglish
Pages (from-to)245-275
Number of pages31
JournalInternational Journal of Parallel Programming
Volume15
Issue number3
DOIs
StatePublished - Jun 1986
Externally publishedYes

Keywords

  • Flat Concurrent Prolog
  • Hypercube
  • implementation techniques
  • logic programming

Fingerprint

Dive into the research topics of 'A parallel implementation of Flat Concurrent Prolog'. Together they form a unique fingerprint.

Cite this