A Prolog interpreter for OR parallelism evaluation on distributed systems

Shows a Prolog parallel interpreter which is used to evaluate several approaches in distributed OR-parallel implementations. We have considered two execution models and two memory management strategies, issuing four different versions. The interpreter has been implemented on a 16-Transputer Parsys Supernode, using Occam as the development language. The processes and memory management have been implemented in a dynamic way, which allows us to improve the system efficiency and memory utilization. A dynamic load balancing mechanism has been implemented. Some statistics are shown, getting a speed-up of 3.75 for 4 processors and 12.57 for 16 processors.<>