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.