Using PVM With a Logic Programming Interface

In this document we summarize the functionality of a Paralle l Logic Programming system based on PVM. The Prolog interactive interprete r, with its powerful built-in mechanisms of unification and backtracking is part icularly well suited for dynamic interaction with the parallel system. Although Logic Programming has a declarative nature, Prolo g has also a procedural interpretation upon which we rely for direct map ping of PVM routines. To conclude we give some ongoing and future work involving ou r current PVMProlog prototype and its use for the development of applicat ions.