International Summer School on Constraints in Computational Logic

Introduction to Constraint Solving

Jean-Pierre Jouannaud, LRI, Université de Paris-Sud, France
Ralf Treinen LRI, Université de Paris-Sud, France

The use of constraints in computational calculi allows to reconcile declarative and operational aspects of computation. We see constraint-based formalisms as a two-tiered architecture, consisting of

We will illustrate this approach with the examples of constraint programming and constraint logic programming: There are, however, operational aspects of the constraint system as well as declarative aspects of the constrained language: In this talk we will discuss the consequences of the two-tiered architecture for the design of constraint systems.
CCL'99 main page
Last change: April 7, 1999.