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

Try this search on Wikipedia, OneLook, Google

Nearby terms:

delta « Delta-4 « delta conversion « Delta-Prolog » delta reduction » DELTASE » demand driven