PRINCE (EP 5246)

Prolog Integrated with Constraints and Environment for Industrial and Financial Applications

This page contains some information regarding the project, with some additional detail on the contributions of the academic partners (in the areas of program analysis and transformation). These partners can be contacted for more information on these topics. For more information on the project in general please contact the project coordinator or the other partners.

COORDINATOR

CONTACT POINT PARTNERS and ASSOCIATED PARTNERS Start Date: September 1990

End Date: January 1995

Duration: 53 months

Status: completed

Abstract

The Prince project is concerned with constraint logic programming. It is developing a new constraint logic programming (CLP) language heavily based on PROLOG III technology.

RATIONALE

In order to apply the technology to large-scale applications, performance, robustness and expressiveness must be improved. This is the aim of Prince. Its general objectives are: to bring a 'PROLOG III'-like system to a high level of industrial applicability and usefulness, and to validate and augment the industrial significance of such systems by applying them effectively to real-life applications.

GENERAL DESCRIPTION AND APPROACH

This project is a continuation of the Esprit I project P1106. Its aim was the further development of Prolog and its validation by KBS in technical areas. It 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 gain in performance, robustness, and expressiveness. The general objectives of this project are threefold:

APPLICATION DESCRIPTIONS

Work to date, problems encountered and remaining activities

The kernel of the Prince Prolog system (Prolog IV) is now finished. It includes a compiler, as well as the following solvers: A set of analysis and program transformation tools has also been developed. These tools allow performing several optimizations on source programs prior to compilation with the objective of increasing the performance of the resulting compiled code. In addition, the activities of the project have produced numerous theoretical results in the areas of language design and implementation, constraint solving algorithms, global analysis, and program transformation for constraint logic programming languages. Current activities include: The first version of the product will be marketed by March 1995, over a limited range of platforms. More ports will be performed by June 1995.

ROLES OF PARTNERS

EXPLOITATION

Other Comments

BIM (Belgium) was initially a partner of the Prince Project, involved in the compilation of the standard Prolog. However it left the consortium before the end of the project.
<webmaster@clip.dia.fi.upm.es>