The Basic OASys Model: Preliminary Results
P. Kefalas, H.Sakelariou
Abstract: The exploitation of parallelism
that is naturally embedded in the declarative semantics of logic languages
has been a major issue of the logic programming community in the past decade.
Various models and architectures have been proposed in order to achieve
the above mentioned task. This paper describe sthe basic OASys (And/Or
System), a computational model designed for parallel execution of logic
programs. OASys performs OR-parallelism by assigning each independent OR
path to a different processing element, and AND-parallelism by executing
the conjunctive determinate subgoals simultaneously. The model is designed
in such a way that all communication between the processing units is limited
to only the necessary scheduling of different tasks that are generated
during program execution. This paper also presents preliminary results
of the model which were obtained from a Prolog simulator.
Keywords: Prolog, AND/OR-Parallelism, Abstract Machine
Appeared in: Proceedings of the 6th Panhellenic Conference on
Information Techology, Athens, December 1997
Available: Hardcopy on request from the authors. .
to Dept. of Computer Science, CITY Liberal Studies
to Petros Kefalas home page