The PRINCE Project and its Applications- VERSION2

The Esprit project Prince aims at development of an industrial Constraint Logic Programing environment based on the Prolog III language. In parallel, the current technology is being validated within the project on representative real-world examples. This paper describes the current status of the three application domains which were Selected to demonstrate the applicability and usefulness of CLP. These applications deal with industrial systems engineering, medium term banking planning and jobshop scheduling as well as multiple plants global planning in the chemical industry

The PRINCE Project and its Applications

The Esprit project Prince aims at development of an industrial Constraint Logic Programing environment based on the Prolog III language. In parallel, the current technology is being validated within the project on representative real-world examples. This paper describes the current status of the three application domains which were Selected to demonstrate the applicability and usefulness of CLP. These applications deal with industrial systems engineering, medium term banking planning and jobshop scheduling as well as multiple plants global planning in the chemical industry

Local consistency for extended CSPs

AbstractWe extend the framework of Constraint Satisfaction Problems to make it more suitable for/applicable to modern constraint programming languages where both constraint satisfaction and constraint solving have a role. Some rough principles for local consistency conditions in the extended framework are developed, appropriate notions of local consistency are formulated, and relationships between the various consistency conditions are established