Implementations of Distributed Prolog

Partial table of contents: OR-PARALLEL IMPLEMENTATIONS OF PROLOG. OR-Parallel Logic Computational Models (S. Delgado-Rannauro). Parallel Prolog on a Scalable Multiprocessor (S. Raina, et al.). Distributed Data Driven Prolog Abstract Machine (P. Kacsuk). AND- AND AND/OR-PARALLEL IMPLEMENTATIONS OF PROLOG. An AND-Parallel Distributed Prolog Executor (A. Verden & H. Glaser). The OPAL Machine (J. Conery). COMMITTED CHOICE LANGUAGES. Stream AND-Parallel Logic Computational Models (S. Delgado-Rannauro). Logical Occam (D. Cohen, et al.). A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments (U. Gla sser). PROCESS-ORIENTED PROLOG LANGUAGES. CS-Prolog: A Communicating Sequential Prolog (S. Ferenczi & I. Futo). References. Index.Kacsuk, Peter is the author of 'Implementations of Distributed Prolog', published 1992 under ISBN 9780471931164 and ISBN 0471931160.