The Basic OASys Model: Preliminary Results

I.Vlahavas, P. Kefalas, H.Sakelariou and C.Halatsis 
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. .

Back to Dept. of Computer Science, CITY Liberal Studies
Back to Petros Kefalas home page