Dispo: Distributed Multi-Threaded Execution of Prolog Programs
A. Seif EI-Yazal Mohamed, A. Galal, I. Khalil, Karim Sobh, M. Selim · International Journal of Computers and Applications · 2000
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.