Delta-Prolog

Delta-Prolog

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

["Delta-Prolog: A Distributed Logic Programming Language",L.M. Pereira et al, Intl Conf 5th Gen Comp Sys, Nov 1984].