Pressing for parallelism: a PROLOG program made Concurrent

https://doi.org/10.1016/0743-1066(86)90006-3Get rights and content
Under an Elsevier user license
open archive

Abstract

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.

Cited by (0)

Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel.