Can I read Exploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture on EtoBox?

Exploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture by I Vlahavas is a Computer Science article available to read on EtoBox.

What is Exploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture about?

Dierent forms of parallelism have been extensively investigated over the last few years in logic programs and a number of systems have been proposed. Or/And System (OASys) is an experimental parallel Prolog system that exploits and-or-parallelism and comprises a computational model, a compiler, an abstract machine and an emulator. OASys computational model combines the two types of parallelism considering each alternative path as a totally independent computation which consists of a conjunction of determinate subgoals. It is based on distributed scheduling and supports recomputation of paths as well as stack copying. The system features modular design, high distribution and minimal inter-processor communication. This paper presents brie ̄y the computational model and describes the abstract machine discussing data representation, memory organization, instruction set, operation and synchronization. Finally performance results obtained by the single-processor implementation and the multipleprocessor emulation are discussed.

Who reads Exploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture?

Author

I Vlahavas

Publisher

Elsevier Science; Elsevier ; Elsevier BV (ISSN 0164-1212)

Published

1998

Language

EN

Field

Computer Science (Physical Sciences)