Design perspectives and related work

As strongly related work we regard first of all Delta Prolog, that offers a parallel operator and a mechanism to communicate over channels. We however, consider our notion of process creation as more elegant, and moreover our communication by rendez-vous as more powerful and general. Cf.  [PM85]. .br Next, clearly resemblant is the work reported in  [Ka88], that describes a multi tasking object oriented Prolog, suited for prototyping embedded systems. A major difference however is that the Mlog system does not support global (distributed) backtracking, which we consider as important for implementing knowledge based systems. .br In the area of distributed problem solving we mention  [GC81] and  [SD81], that both offer an approach at distributing knowledge. The latter moreover investigates negotiation protocols for deciding issues of allocation and distributing processing. Both approaches however lack a formalized logic underlying their solutions, which is, in our opinion, undesirable from a semantical point of view.