Pressing for parallelism: a PROLOG program made Concurrent

Leon Sterling, Mike Codish

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


We describe the translation of a nontrivial program for solving equations from PROLOG to Concurrent PROLOG, and further to Flat Concurrent PROLOG. The translation from PROLOG to Concurrent PROLOG required understanding of the program but was straightforward. The translation from Concurrent PROLOG to Flat Concurrent PROLOG was more suitable to be the basis for automatic procedures. The different styles of translation used are illustrated with examples of code from the three programs. The gain in speed by performing computations in parallel is discussed.

Original languageEnglish
Pages (from-to)75-92
Number of pages18
JournalJournal of Logic Programming
Issue number1
StatePublished - 1 Jan 1986

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Pressing for parallelism: a PROLOG program made Concurrent'. Together they form a unique fingerprint.

Cite this