DLP

A logic programming language similar to Prolog, combined with parallel object orientation similar to POOL. It 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: Design, Semantics and Implementation, Anton Eliens, Wiley, 1992.