PROLOPPE - Parallel Logic Programming with Extensions
PROLOPPE is a JNICT PRAXIS-funded project. Its objective is to promote
the evolution of Prolog towards a more expressive logic programming language,
tied to an efficient execution environment that exploits innovative implementation
techniques, including joint implicit and explicit parallelism, and distribution
over heterogenous multiple processor architectures. A programming language
is a tool and a vehicle for applications; Logic Programming has proven
to be a very fruitful paradigm. The participating teams, and their colleagues
have been using Prolog in national and european projects, in a wide variety
of applications such as interaction with the computer in Portuguese, medical
diagnosis, fault finding, scheduling. Extensions to Logic Programming will
be developed with new forms of computational reasoning, with explicit negation,
constraint programming, and parallelism and distribution support. For the
first time a more advanced programming language will be obtained that will
integrate the aspects above in a Logic Programming framework, in the form
of a {\em trully efficient} implementation. This implementation will be
used in the above mentioned applications, and in others, and will be made
readily available for international academic use, in order to obtain user
feedback. We want:
-
To join previous theories and experimental work by both teams, in order
to make a profit of past resources and investments, and to promote innovative,
pre-competitive and emerging scientific and technological results.
-
To implement sound and flexible tools, qualifying as products from AI as
well as vehicles for AI, but still assuring a qualitatively new, sound
and useful evolution. To use these tools in applications: diagnosis\footnote{
In cooperation with Prof. Wolfgang Nejdl (Aachen University) through a
previous project proposal made to the german--portuguese INIDA programme}
and other applications, developed by the proponents or their colleagues.
-
To exploit the potentialities of parallel and distributed processing to
enhance the functionalities, flexibility and performance of Logic Programming
tools and languages; allowing experimentation with distributed models for
multiple agents, in specific problem domains; producing, associated to
that experimentation, new skills and contributing with computational models
and systems that may stimulate the use of parallel and distruibuted processing
in a wider range of application domains.
-
To carry on an unifying project encompassing regional groups, scientific
areas and applications ( computer science, AI, diagnosis, scheduling, and
others), with international participation. The project will be the originator
and source of a critical mass that turns it into a viable initiative.
-
To produce and promote the acquisition of new skills, promoting the launching
of two centers (CENTRIA and LIACC) that were recently founded by JNICT.
Partners
-
Project Coordinator: Luís
Moniz Pereira
Coordinating Institution:
Center for Artificial Intelligence
Department of Computer
Science
Universidade Nova de Lisboa
Other participating Institution/Research Group:
LIACC
Laboratory of Artificial
Intelligence and Computer Science
University of Porto
Prof. Wolfgang
Nejdl - University of Hannover, Germany
Dr. Miguel Calejo - SERVISOFT
Servicos de Informatica e Telematica Lda.
R. Cerca 88
4150 Porto
Portugal
This is an experimental page. Send your suggestions and comments to
lmp@di.fct.unl.pt.