Reform Prolog: The Language and its Implementation (1993)
| Venue: | In Proc. of the 10th Int'l Conference on Logic Programming |
| Citations: | 26 - 3 self |
BibTeX
@INPROCEEDINGS{Bevemyr93reformprolog:,
author = {Johan Bevemyr and Thomas Lindgren and Håkan Millroth},
title = {Reform Prolog: The Language and its Implementation},
booktitle = {In Proc. of the 10th Int'l Conference on Logic Programming},
year = {1993},
pages = {283--298},
publisher = {MIT Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Reform Prolog is an (dependent) AND-parallel system based on recursionparallelism and Reform compilation. The system supports selective, userdeclared, parallelization of binding-deterministic Prolog programs (nondeterminism local to each parallel process is allowed). The implementation extends a convential Prolog machine with support for data sharing and process managment. Extensive global dataflow analysis is employed to facilitate parallelization. Promising performance figures, showing high parallel efficiency and low overhead for parallelization, have been obtained on a 24 processor shared-memory multiprocessor. The high performance is due to efficient process managment and scheduling, made possible by the execution model. 1 INTRODUCTION Most systems for AND-parallel logic programming defines the procedural meaning of conjunction to be inherently parallel. These designs are based on an ambition to maximize the amount of parallelism in computations. We present and evaluate an approa...
