(DLP) A logic programming language similar to prolog, combined with parallel object orientation similar to pool. DLP supports distributed backtracking over the results of a rendezvous between objects. multi-threaded objects have autonomous activity and may simultaneously evaluate method calls.

["DLP: A Language for Distributed Logic Programming", A. Eliens, Wiley 1992].