Distributed Logic Programming definition 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
objects have autonomous activity and may simultaneously evaluate method
["DLP: A Language for Distributed Logic Programming", A. Eliens, Wiley 1992].