Institutional Repository

Parallel execution strategies for conventional logic problems: A review

Show simple item record Lutu, PEN 2018-05-29T13:30:54Z 2018-05-29T13:30:54Z 1994
dc.identifier.citation Lutu PEN (1994) Parallel execution strategies for conventional logic problems: A review. South African Computer Journal, Number 11, 1994 en
dc.identifier.issn 2313-7835
dc.description.abstract Parallel execution strategies/or Prolog programs are reviewed. Three models, AOPM, APPNet and RAP are discussed in some detail. The AOPM and the APPNet are AND-OR parallel execution models and represent the two ends of the spectrum for approaches to AND-OR parallelism. The AOPM exploits fine-grained parallelism while the APPNet exploits coarse­-grained parallelism. RAP is an AND-parallel execution model and is based on fine-grained parallelism. The problem of shared variables in AND-parallelism is dealt with differently by each model. APPNet uses dependent AND-parallelism where streams of results are back-unified to eliminate inconsistent combinations of results. The AOPM and RAP use different approaches to independent AND-parallelism. Both models use intelligent backtracking to avoid the generation of inconsistent results. All three models have shown significant speed ups in the execution of Prolog programs. en
dc.language.iso en en
dc.publisher South African Computer Society (SAICSIT) en
dc.subject Logic programs en
dc.subject Parallel Prolog execution en
dc.subject AND-parallelism en
dc.subject AND-OR parallelism en
dc.title Parallel execution strategies for conventional logic problems: A review en
dc.type Article en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account