AI Seminar
August 26, 2002

Speaker: Karen Villaverde
Title: Efficient OR-Parallel Execution of Prolog Programs on Distributed Memory Platforms

Abstract:

This is talk is divided into two parts.  The first part presents a general overview of parallel logic
programming, distributed logic programming and scheduling. The second part describes the development
of the PALS system, an implementation of Prolog capable of efficiently exploiting OR-parallelism on distributed memory machines. PALS uses a novel technique, called Incremental stack-splitting, along with a very efficient distributed scheduling algorithm as well as an effective side effects handling algorithm. The implementation results and performance studies presented confirm the validity of this approach as a simple but effective technique to transition from shared-memory to distributed memory systems.