Implementation logischer Sprachen auf Multiprozessor-Systemen

Abstract

The main contribution of this paper consists in a proposal for implementing parallel logical languages on distributed systems using * a parallel extension (PWAM) of Warren's abstract machine (WAM) in order to take advantage of approved techniques, * an approach for modularizing logical programs in order to meet restricted resources, and * integrating committed choice nondeterminism in order to allow backtrack-free implementations. The text is divided as follows: first we give an overview over the main notions playing a dominent role in parallel languages, then we introduce the basic process-oriented semantics and discuss the way "or"-parallelism is handled. Starting point of the last chapters is a brief description of the WAM, which is followed by a discussion of the static structure and dynamic behavior of it's parallel counterpart (PWAM) stressing essentially the basic ideas and omitting technical details.