Massively parallel execution of logic programs: A static approach


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


  • Presentations referencing similar topics