DISPO is a distributed prolog virtual machine for interpreting and executing Prolog programs through distribution and multi-threading. It is a distributed version of a standard Prolog interpreter designed for exploiting OR-parallelism and pipe-lined AND parallelism. Some distinctive features of DISPO are that it speeds up the execution of Prolog programs and generates all possible solutions for a query, that is to say, it works as an all-solutions Prolog virtual machine. The effectiveness of its distribution technique and load balancing equations resulted in a 70 average speed-up in the execution time of a number of Prolog benchmark programs. These results are presented graphically with a detailed analysis of system performance.
展开▼