Apart from what may be considered the mainstream languages Smalltalk, Eiffel, C++ and Java, 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

DLP = LP + OO + $||$

Design principles -- support for knowledge-intensive applications

objects -- dynamic states
processes -- communication by rendezvous
distributed backtracking -- exhaustive search

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-intensive applications. 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.