The language DLP

Apart from what may be considered the mainstream languages Smalltalk, Eiffel and C++, there are numerous other (experimental) languages incorporating the object paradigm in one way or another. See section classification and, for example,  [Davison93] for an overview. Of particular interest is the combination of the logic programming paradigm with object orientation, of which the language DLP is an example.

DLP -- introduces logic into object orientation

D

Design principles -- support for knowledge-based systems


slide: The language DLP

The DLP language combines logic programming (LP) with object orientation (OO) and parallelism (||). DLP is a (very) high-level language, meant to support the development of knowledge-based systems. In addition to the logic programming features, it provides objects (that may change their state dynamically), processes (such as active objects, that communicate by rendezvous), and it allows for distributed backtracking (to enable exhaustive search in a logic programming style). See  [Eliens92] for a full treatment.