Delta-Prolog

A Prolog extension with AND-parallelism, don't-know nondeterminism and interprocess communication using synchronous event goals. Distributed backtracking.

"Delta-Prolog: A Distributed Logic Programming Language", L. M. Pereira et al, International Conference on Fifth Generation Computing Systems, Nov 1984.