Discussion

We have presented a number of examples, each motivating or illustrating a particular construct. The variety of examples shows that a parallel object oriented logic programming language of this kind allows to solve many of the problems found in parallel programming. Cf.  [Ho78]. More examples are needed however to investigate the full potentiality of such a language, especially examples that are characteristic for natural applications. Before deciding on a definite language proposal however we need to get a clear insight in the particularities of the constructs treated. Notably the relations between backtracking, communication, and synchronisation by means of answer statements must be studied. These questions will be tackled in later chapter.