Execution models of prolog for parallel computers
The research described in this book addresses the semantic gap between logic programming languages and the architecture of parallel computers the problem of how to implement logic programming languages on parallel computers in a way that can most effectively exploit the inherent parallelism of the language and efficiently utilize the parallel architecture of the computer. Following a review of other research results, the first project explores the possibilities of implementing logic programs on MIMD, nonshared memory massively parallel computers containing 100 to 1,000 processing elements. The second investigates the possibility of implementing Prolog on a distributed processor array. The author's objectives are to define a parallel computational paradigm (the extended cellular-dataflow model) that can be used to create a parallel Prolog abstract machine.
- OSTI ID:
- 6507144
- Country of Publication:
- United States
- Language:
- English
Similar Records
Parallel execution of logic programs
A data-driven parallel execution model and architecture for logic programs