Duration: Jun. 1993 - Jun. 1996
Summary: Multiprocessors are already on the market which offer clear economic advantages in cost/performance over sequential machines. In the medium term these machines are expected to be the norm rather than the exception. On the other hand programming these machines is quite difficult. Declarative Languages (Functional and Logic Programming, and its extension with contraint-solving) offer an excellent framework for developing higly complex applications. Additionally, they offer the advantage of permitting an efficient and largely automatic utilization of parallel architectures by exploiting the parallelism inherent to such programs. Thus, they represent a unique path to multiprocessor exploitation. This project proposes developing models for exploiting parallelism in Functional and Logic (and Functional+Logic) Programming combining the best characteristics of the BABEL and &-Prolog models, as well as those of others based on constraint-solving, implementing the models in an actual multiprocessor architecture, and combining them with programming environments (parallelizing compilers and visualization tools).

The project is a combined effort of the Department of Artificial Intelligence and the Department of Languages and Systems of the Technical University of Madrid.

Summary of the FINAL REPORT (in Spanish)
(For the part corresponding to the Department of Artificial Intelligence.)
<webmaster@clip.dia.fi.upm.es> Last modified: Fri May 9 17:49:23 1997