Delta-Prolog
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].Nearby terms:
Delta-4 ♦ delta conversion ♦ Delta-Prolog ♦ delta reduction ♦ DELTASE
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
