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 {object}s. {Multi-threaded}
objects have autonomous activity and may simultaneously
evaluate {method} calls.
["DLP: A Language for Distributed Logic Programming",
A. Eliens, Wiley 1992].
(1996-01-07)