distributed logic programming

from The Free On-line Dictionary of Computing (8 July 2008)

Distributed Logic Programming

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

   (1996-01-07)