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