Détail d'une fiche   Version PDF

LOCO (SR0247OR)

Programmation en LOgique avec COntraintes

PROLO (SR0275RR) →  LOCO


Statut: Terminée

Responsable : Philippe Codognet

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Algorithmique, calcul certifié et cryptographie

Période : 01/01/1996 -> 31/12/1999
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de Paris
Localisation : Rocquencourt
Code structure Inria :

Numéro RNSR : 198722070A
N° de structure Inria: SR0247OR

Présentation

La Programmation en Logique avec Contraintes (PLC) connaît depuis quelques années un certain succès, tant au point de vue théorique et académique qu'au point de vue pratique et industriel. Elle allie en effet la simplicité d'écriture de programmes et la déclarativité de la Programmation en Logique (PL) à la puissance et l'efficacité du calcul sur des domaines spécifiques à l'aide d'outils particuliers et optimisés (" résolveurs de contraintes ").

Loco est un projet commun avec l'université d'Orléans.


Axes de recherche

L'activité de Loco se développe autour de trois axes : aspect langage, résolution de contraintes, et environnement de programmation.

  • D'abord, l'aspect langage : nous étudions d'une part la sémantique de la PLC pour donner une base théorique solide aux langages existants, et d'autre part nous développons la programmation concurrente avec contraintes, au point de vue théorique et pratique. Dans ce dernier thème, nous nous intéressons particulièrement à la définition d'un modèle de calcul distribué.
  • Ensuite, l'aspect résolution de contraintes : nous continuons nos études des domaines finis (cf. le langage clp(FD) distribué par FTP) et des intervalles réels car ces deux domaines sont très importants pour des applications industrielles.
  • Finalement, l'aspect environnement de programmation sera développé, en particulier le débogage (diagnostic d'erreur).

Relations industrielles et internationales

  • Coordinateur du projet Esprit (LTR) DiSCiPl " Debugging Systems for Constraint Programming " (1996-1999).
  • Participation aux projets Esprit (BRA) Acclaim et Parforce (1992-1995).
  • Participation aux projets HCM Compulog et Abile.
  • Responsable de l'action inter-PRC (MESR) " Langage Logique Concurrent avec Contraintes " (1992-1995).
  • Collaboration avec les universités de Pise, Padoue, Lisbonne, Linkoping, Pennsylvanie, Brown University, Xerox Parc.