Objective
The PRINCE project is a continuation of Prolog III (project 1106), which demonstrated the potential of the Constraint Logic Programming (CLP) approach through the successful development of Prolog III. To be applicable to large-scale applications, however, such a system must still achieve gains in performance, robustness, and expressiveness.
The project is a continuation of Prolog III which demonstrated the potential of the constraint logic progrmming (CLP) approach through the successful development of Prolog III. The general objectives of the project are to:
bring a Prolog III like system to a higher level of industrial applicability and usefulnessby means of global compilation, improvements of constraint solving algorithms, more specific constraint domains, and better programming environments;
validate and augment the industrial significance of such systems by applying them effectively to real life applications provided and developed by information technology (IT) users (the application work will concern the areas of finance, industrial systems engineering and production planning and scheduling);
integrate the experience of 2 major Prolog manufacturers, PrologIA and BIM, into a new joint system which would then have the means to become a significant industrial force (PrologIA has developed the Prolog II+ compiler and Prolog III, a major representative of the constraint logic programming languages and BIM has developed BIM-Prolog, 1 of the major conventional Prolog compilers).
A first prototype of the kernel of the future CLP platform (PROLOG) compiler and constraint solvers) has been developed. Results in program analysis and preprocessing are incorporated in the first prototype and contribute to the future programming environment. Experiments in several application domains have provided an important set of requirements (new constraint solvers, programming facilities) to be satisfied in future versions of the prototype.
The general objectives of PRINCE are to:
- Bring a Prolog III-like system to a higher level of industrial applicability and usefulness by means of global compilation, improvements of constraint-solving algorithms, more specific constraint domains, and better programming environments.
- Validate and augment the industrial significance of such systems by applying them effectively to real-life applications provided and developed by IT users who are partners in this project. The application work will concern the areas of finance, industrial systems engineering and production planning and scheduling.
- Integrate the experience of two major Prolog manufacturers, PrologIA and BIM, into a new joint system which would then have the means to become a significant industrial force. PrologIA has developed the Prolog II+ compiler and Prolog III, a major representative of the constraint logic programming languages. BIM has developed BIM-Prolog, one of the major conventional Prolog compilers.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences software
- social sciences economics and business economics production economics
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
13288 Marseille
France
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.