Massively parallel execution of logic programs: A static approach

Abstract

A static model for the parallel execution of logic programs on MIMD distributed memory systems is presented where a refutation is implemented through a process network returned by the compilation of the logic program. The model supports Restricted-AND, OR and stream parallelism and it is integrated with a set of static analyses to optimise the process… (More)
DOI: 10.1016/S1383-7621(96)00056-2

10 Figures and Tables

Topics

  • Presentations referencing similar topics