Title: KAPPA, A Kernel Andorra Prolog Parallel Architecture Design
Authors: Moolenaar, Remco ×
Vanacker, H
Demoen, Bart #
Issue Date: 1991
Publisher: Springer verlag
Series Title: Lecture notes in computer science vol:569 pages:54-69
Conference: Parallel Execution of Logic Programs location:Paris date:June 24, 1991
Abstract: This paper describes the design of a parallel implementation for Kernel Andorra Prolog (KAP) named kappaalphapipialpha. The main features of kappaalphapipialpha are AND/OR parallelism, committed choice guard evaluation combined with don't know nondeterminism and constraint operations on variables. The design is based on the Warren Abstract Machine with some important extensions. One of the main problems involving AND/OR parallel systems is the efficient handling of variables. We have adopted the PEPSys hashing scheme with additional mechanisms for handling guard blocking and waiting. A kappaalphapipialpha computation is divided into a number of steps. Every step contains a deterministic phase and a nondeterministic phase. The deterministic phase is executed in a normal Prolog-like way. The nondeterministic phase prunes the tree or divides the tree into a number of OR-branches, which share a common part of the tree. Each OR-branch is executed in the usual Prolog-like manner.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science