DLP

Introduces the distributed logic programming language DLP. Distributed logic programming combines logic programming, object-oriented programming and parallelism. A distinguishing feature of DLP is the support for distributed backtracking over the results of a rendezvous between objects.

---

This text introduces the distributed logic programming language DLP. Distributed logic programming combines logic programming, object-oriented programming and parallelism. A distinguishing feature of DLP with respect to other proposals is the support for distributed backtracking over the results of a rendezvous between objects. A leading interest behind this work has been the question of parallelism in expert system reasoning. Distributed logic programming is a suitable vehicle for the implementation of distributed knowledge-based systems, including expert systems, and systems for distributed problem solving. The complete trajectory of the development of an experimental programming language is covered, paying attention to the design, the semantics and implementation. The text also introduces a multi-paradigm programming language for the implementation of distributed knowledge-based systems by means of small to medium-size examples.