IPL-D:
PARALLEL IMPLEMENTATION OF DECLARATIVE LANGUAGES
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.
- Keywords: Parallel Processing, Logic Programming,
Functional Programming, Execution Models, Automatic Parallelization,
Concurrency, Execution Visualization
- Principal Investigators: Manuel Hermenegildo
and Juan
José Moreno-Navarro
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