A Prolog extension with AND-parallelism, {don' t-know nondeterminism} and interprocess communication using synchronous 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].