Préface..................................................... 7

Conférence invitée I

Constraint programming for concurrent and distributed computing

Catuscia PALAMIDESSI .......................................... 11

Langages et extensions

MixLog: a generalized rule-based language

Donald A. SMITH ............................................... 21

Un langage distribué concurrent avec contraintes

Jean-Hugues RÉTY ...................................... 37

DP-LOG - un langauge logique data-parallèle

Arnaud LALLOUET ............................................... 53

Sémantique

Canonical extensions as common basis for interval constraints and interval arithmetic

Maarten H. VAN EMDEN .......................................... 71

Négation constructive et modèles bivalués

Karine LIOGIER ................................................ 85

Computing stable models of datalog programs with negation

Viet Phan LUONG .............................................. 101

Optimisation par hybridation d'un CSP avec un algorithme génétique

Nicolas BARNIER, Pascal BRISSET ............................... 119

Backtrack dynamique valué

Pierre DAGO .................................................. 133

Stratégies en meilleur d'abord pour la relaxation de contraintes

Narendra JUSSIEN, Patrice BOIZUMAUILT ........................ 149

Conférence invitée II

Bounds and adjustments associated with the Pm/r_j,q_j/Cmax scheduling problem

Jacques CARLIER, Eric PINSON ................................ l69

Contraintes

Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes

Eric BOUCHER, Bruno LEGEARD .............................. 179

Transformations symboliques et consistance de bloc de CSP continus

Laurent GRANVILLIERS ........................................ 195

Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers

Christine SOLNON ............................................ 211

Session industrielle

L'environnement de programmation par contraintes CHIP dans l'industrie

Abder AGGOUN ................................................ 229

Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique

Georges WEIL, Kamel HEUS, Patrice FRANÇOIS ................... 231

Prolog IV ou la programmation par contraintes selon PrologIA

Stéphane N'DONG ...................................... 235

Conférence invitée III

Unification and resolution in retrospect

John Alan ROBINSON ....................................... 241

Résolution et optimisation

Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes

Jean-Michel RICHER, Jean-Jacques CHABRIER ................ 245

Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel

Olivier ROUSSEL, Philippe MATHIEU .......................... 261

Formalisation de la SLD-résolution dans le calcul des constructions inductives

Mathieu JAUME .............................................. 277