Objectif
The ALPES project aimed to analyse and define a complete programming environment, based on logic programming, analysing program synthesis from first-order logic specifications, theorem proving and meta-reasoning, distributed logic programming, and abstract data type specifications.
The application of these results to classical environment tools, such as debuggers, browsers, editors and interfaces with graphic systems, and to the specific needs of logic programming, was developed in parallel.
Finally, these results were integrated in programming environment modules.
The project aimed to analyse and define a complete programming environment, based on logic programming, analysing program synthesis from first order logic specifications, theorem providing and metareasoning, distributed logic programming, and abstract data type specifications. The application of these results to classical environments tools, such as debuggers, browsers, editors and interfaces with graphic systems, and to the specific needs of logic programming, was developed in parrallel. Finally, these results were integrated in programming environment modules. The main characteristics of the environment architecture can be summarized as follows: the architecture is open; modules (units) are reusable; it is fully customizable; it is self revealing.
The major outcome of the project was the ALPES environment, a general-purpose programming environment for logic programming and, in particular, Prolog. The ALPES environment includes tools such as:
-Prolog and graphics systems, for handling graphical objects as Prolog objects
-hybrid (text/structured) multi-window specialised editor
-generic and extensible browser for logic programming.
-distributed logic programming system, aiming at executing logic programs across networks while keeping the classical behaviour of Prolog programs, including backtracking
-data typing and type checker for logic programs
-semi-automatic program construction tool for building logic programs from their specification in full first-order logic
-automatic program transformation tool (especially for optimising their speed of execution)
-program transformation tool for their execution of parallel architectures
-static analysis of Prolog programs tool for detection of potential loops
-rational debugger.
The following topics were addressed, and produced state-of-the-art results:
-meta-level and intelligent control of logic programs
-types, functions and objects in logic programming, including issues on equality handling
-extension of Prolog towards non-classical logics.
Another important domain where state-of-the-art results were achieved is the architecture of programming environments for logic programming. The main characteristics of the ALPES environment architecture can be summarised as follows:
-The architecture is open. Contrary to C-Prolog's philosophy of protecting system primitives from the users, in ALPES all parts are available for extension and/or replacement.
-Modules (units) are reusable: all parts of ALPES are available, and are easily locatable (through a special system folder and its sub-folders) to be used, modified or extended by small modular additions.
-ALPES is fully customisable: users can tailor the environment to support their own style or preferences.
-ALPES is self-revealing: information about the internal workings of the system is immediately available.
Exploitation
The results of the ALPES project are manifold, since it addressed the topic of advanced architectures for logic programming as well as the topic of building advanced tools.
The industrial exploitation of the results of the project is taking place in several ways:
-CRIL is putting into use the know-how and technology acquired through the project by developing a programming environment for a logic programming-based expert system shell, SPIRAL. This shell was developed by one of CRIL's customers, CEA. SPIRAL is used to develop expert systems requiring real-time behaviour in safety-critical areas. Based on a Prolog-like interpreter working with objects (in the object-oriented paradigm sense), SPIRAL is close to the basic ALPES language so that most of the concepts de vised for the environment and the advanced tools can be re-used.
-CRIL is seeking financial support for the direct industrialisation of ALPES on a Prolog compiler developed and marketed by the company.
-ENIDATA is using ALPES to develop applications in the advanced information processing field; the possibilities for industrialisation of the results of the project are being investigated. In particular, an expert system for coke production furnace monito ring was developed for AGIP using the ALPES environment.
-The possibility of launching spin-off companies from UNL and DEIS to exploit and market the results of the project is being studied.
With respect to the academic exploitation of the project's results, most of the universities in the consortium have been using ALPES as a practical development tool within logic programming courses, and will base further research on ALPES.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information intelligence artificielle systèmes experts
- sciences naturelles informatique et science de l'information science des données traitement des données
- lettres philosophie, éthique et religion philosophie
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
92700 Colombes
France
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.