Back

Constraint Logic Programming

François Fages
Section: Logic and Computation
Level: Introductory

Description

The purpose of this course is to introduce the semantics of Constraint Logic Programming (CLP) languages in First-Order logic and the subsequent methods for reasoning about CLP programs.

  1. Computation and Logic: the paradigm of logic programming
  2. Examples and demonstrations of CLP(X) programs
  3. Formal semantics of CLP(X) languages

Materials

Lecturer

Dr.Hab. François Fages
Projet Contraintes
INRIA Rocquencourt
BP 105
F-78153 Le Chesnay Cedex
France
http://contraintes.inria.fr/~fages
Francois.Fages@inria.fr
tel. (33) 1 39 63 57 09