Sites Inria

English version

Equipe de recherche LOCO

Programmation en LOgique avec COntraintes

  • Responsable : Philippe Codognet
  • Centre(s) de recherche : CRI de Paris
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Algorithmique, calcul certifié et cryptographie

Présentation de l'équipe

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.

Mots-clés : Programmation par contraintes Sémantique Implantation Compilation Satisfaction de contraintes Concurrence Programmation logique Spécification formelle Débogage Environnement de pr

Suivez Inria tout au long de son 50e anniversaire et au-delà !