A Parallel Prolog emulator

Abstract

There are various parallel Prolog execution models proposed so far. In this study, an emulator has been developed to test the execution model PPEM. The emulator is used to collect data to evaluate the performance of the model. The underlying architecture is assumed to be a tightly coupled multiprocessor system. Some implementation difficulties faced, which are not apparent in the definition of PPEM are discussed, and performance results are presented.