You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL