Module "Programmation logique par contraintes" 2020/2021
Master 1ère année



BARRE




Organisation




Liens

  • Article de wikipedia avec plein de références
  • Eclipse CLP
  • GNU Prolog
  • site du livre Programming with Constraints: An Introduction
  • Ce livre d'Intelligence Artificielle contient un chapitre sur la resolution de contraintes sur un domaine fini (à télécharger).
  • Un tutorial sur la programmation avec contraintes