Experience with PMS-Prolog: A distributed,coarse-grain-parallel prolog with processes,modules and streams

PMS-Prolog is an implementation of Prolog designed for distributed systems, and therefore uses coarsegrain parallelism in preference to the fine-grain parallelism of other implementations. Prolog processes are formally defined and interprocess communication is explicit. An overview of PMS-Prolog is provided, followed by an examination of the PMS-Prolog solutions to four problems. These solutions are also compared to other solutions from the literature. From this, the strengths and weaknesses of the PMS-Prolog model can be seen. Avenues for improving the model are then suggested.