TY - JOUR
T1 - Pressing for parallelism
T2 - a PROLOG program made Concurrent
AU - Sterling, Leon
AU - Codish, Mike
N1 - Funding Information:
This work was supported by a Dov Biegun postdoctoral fellowship to the first author and a Wiezmann studentship to the second author. Helpful suggestions were made by Ehud Shapiro and anonymous referees. The use of computing facilities at the Wiezmann Institute, supported by a Digital Equipment External research grant, and at Case Institute of Technology. are gratefully acknowledged.
PY - 1986/1/1
Y1 - 1986/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0022695388&partnerID=8YFLogxK
U2 - 10.1016/0743-1066(86)90006-3
DO - 10.1016/0743-1066(86)90006-3
M3 - Article
AN - SCOPUS:0022695388
SN - 0743-1066
VL - 3
SP - 75
EP - 92
JO - Journal of Logic Programming
JF - Journal of Logic Programming
IS - 1
ER -