Distributed Logic Programming


Distributed Logic Programming

(language)(DLP) A logic programming language similar toProlog, combined with parallel object orientation similarto POOL. DLP supports distributed backtracking over theresults of a rendezvous between objects. Multi-threadedobjects have autonomous activity and may simultaneouslyevaluate method calls.

["DLP: A Language for Distributed Logic Programming",A. Eliens, Wiley 1992].