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 « Delta-4 « delta conversion « Delta-Prolog
» delta reduction » DELTASE » demand driven
|