Distributed Logic Programming

(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].