Implementations of Distributed PROLOG

Part 1 OR-parallel implementations of PROLOG: OR-parallel logic computational models, S.A. Delgado-Rannauro; parallel PROLOG on a scalable multiprocessor, S. Raina et al; opera-OR-parallel PROLOG system on supermode, J. Briat et al; a distributed interpreter for inherent AND/OR parallelism, M. Avvenuti et al; distributed data driven PROLOG abstract machine, P. Kacsuk. Part 2 AND-and AND/OR-parallel implementations of PROLOG: restricted AND-and AND/OR-parallel logic computational models, S.A. Delgado-Rannauro; an AND-parallel distributed PROLOG executor, A. Verden and H. Glaser; the Opal machine, J.S. Conery; the reduce-OR process model for parallel logic programming on non-shared memory machines, L.V. Kale and B. Ramkumar; an actor-oriented computer for logic and its applications, C. Percebois et al. Part 3 Committed choice languages: stream AND-parallel logic computational models, S.A. Delgado-Rannauro; logical Occam, D. Cohen et al; a distributed implementation of flat concurrent PROLOG on multi-transputer environments, U. Glasser; distributed implementation of KL1 on the multi-PSI, K. Nakajima. Part 4 Process oriented PROLOG languages: Delta PROLOG - a distributed logic programming language - its implementation on distributed memory multiprocessors, J.C. Cunha et al; CS-PROLOG - a communicating sequential PROLOG, S. Ferenczi and I. Futo; PMS-PROLOG - a distributed, coarse-grain-parallel PROLOG with processes, modules and streams, M.J. Wise et al; Padmavati PROLOG, N. de Joybert and J. Monot.