The PEPMA project has two main threads of work, both of which UPM is involved with: development of parallel Prolog technology and design and study of a large shared virtual address parallel architecture. The objectives and results of PEPMA in the former area are highly relevant already today: efficient, cost effective parallel systems are now a reality and, coupled with the parallel technology developed in PEPMA, they allow very high performance execution of computational logic systems. The results in the latter area are highly relevant for the future in making larger cost-effective parallel systems available.
The Technical University of Madrid(UPM) has participated in the PEPMA project through the activities of the CLIP (Computational Logic, Implementation and Parallelism) group which is part of the CS Department. UPM has contributed to both of the threads of activity in PEPMA (parallel Prolog and architecture design) in close collaboration with its partners BIM, U. of Bristol, Swedish Institute of Computer Science (SICS), Meiko and KUL.
This document attempts to describe in a concise way the progress made by UPM during the course of PEPMA and our collaboration with our project partners. It also provides pointers to the papers and technical reports which can describe more in depth the approaches used and the results obtained. Figure 1 summarizes pictorically the activities of UPM in PEPMA. For more information the reader is kindly asked to contact Prof. Manuel Hermenegildo or the CLIP group at UPM by email.