Reform Prolog: the language and its implementation

  title={Reform Prolog: the language and its implementation},
  author={Johan Bevemyr and Thomas Lindgren and H{\aa}kan Millroth},
  booktitle={ICLP 1993},
Reform Prolog is an (dependent) AND-parallel system based on recursion-parallelism and Reform compilation. The system supports selective, user-declared, parallelization of binding-deterministic Prolog programs (nondeter-minism local to each parallel process is allowed). The implementation extends a convential Prolog machine with support for data sharing and process managment. Extensive global dataaow analysis is employed to facilitate par-allelization. Promising performance gures, showing high… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 54 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 24 extracted citations

Sequential and Parallel Iteration in Logic Programs

Jonáš, BarklundUppsala
View 13 Excerpts
Highly Influenced

Determinacy and determinacy analysis

J. Prog. Lang. • 1997
View 7 Excerpts
Method Support
Highly Influenced

A Note on Data-Parallelism and (And-Parallel) Prolog

ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs • 1994
View 8 Excerpts
Highly Influenced

Exploiting Fine-grain Parallelism in Concurrent Constraint Languages

Till Morfar
View 3 Excerpts
Highly Influenced

54 Citations

Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 11 references

Parallelizing NU-Prolog.

ICLP/SLP • 1988
View 3 Excerpts
Highly Influenced


J. Bevemyr
Lindgren & H. Millroth, Exploiting recursion-parallelism in Prolog, Proc. PARLE'93, Lecture Notes in Computer Science, Springer- Verlag • 1993
View 1 Excerpt

Reforming Compilation of Logic Programs

H Akan Millroth
View 1 Excerpt

Yew, Processor Self-Scheduling for Multiple Nested Parallel Loops

P. Tang, P.-C
Proc. 1986 Int. Conf. Parallel Processing • 1986
View 1 Excerpt

Allocating Independent Subtasks on Parallel Processors

IEEE Transactions on Software Engineering • 1985
View 1 Excerpt