DISPO: Distributed Multi-threaded Execution of Prolog Programs

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 is that it speeds up the execution of Prolog programs and generates all possible solutions for a query, i.e. it works as an all-solutions Prolog virtual machine. The effectiveness of its distribution technique and load balancing equations resulted in a 70 % average speedup in the execution time of a number of Prolog benchmark programs. These results are presented graphically with a detailed analysis of syste