Débuter avec la programmation par contraintes

Question

Vous recherchez des conseils, des tutoriels, des livres et d'autres ressources pour vous familiariser avec la programmation par contraintes.

Answer 1

Il y a beaucoup d'excellents matériaux disponibles sur le web une fois que vous obtenez dans la gorge, mais les liens sont ci-dessous (OMI), de bons points de départ (ceux que j'ai utilisé).

Programmation avec Contraintes: Une Introduction - (site du Cours)
Programmation avec Contraintes: Une Introduction - (Google livre)
En ligne Guide de la Programmation par contraintes
CSP Tutoriel (4C Programme de Sensibilisation)

Answer 2

Le traitement des contraintes des Règles (CHR) est un langage pour développer propres (problème spécifique) les solveurs de contraintes. Vérifiez ceci:

• CHR page d'Accueil

Vous y trouverez des liens vers

• WebCHR Démo en Ligne (à l'origine développé au LMU de Munich, maintenant embelli à l'université d'Ulm)
• Plusieurs implémentations de Prolog (naturellement) et Haskell, ainsi qu'un (qui n'est malheureusement plus maintenu) prototype pour Java (JCK).

Answer 3

Peut-être pourriez-vous jeter un coup d'œil à un cours d' introduction à la programmation par contraintes organisé à l'Université de la Sarre. Ils n'utilisent pas comme mozart dr_pepper dit , mais Gecode . Gecode est un langage de suivi de Mozart, mis en œuvre en partie par les mêmes personnes.

Answer 4

Je recommande de commencer avec mozart . C'est un langage de programmation à contraintes open-source et le site contient une documentation abondante qui vous aidera à démarrer.

Answer 5

Voici un autre lien vers un site Web de cours sur la programmation par contraintes .

Auparavant, le cours utilisait Mozart / Oz pour les évaluations, mais il a maintenant été remplacé par Gecode .