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].