|
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]. スポンサード リンク
|