Objectifs : Introduction à la programmation logique et aux résolutions de contraintes, écriture de résolveurs de grilles de SUDOKU avec interface graphique.
Description : Remplir une grille de SUDOKU est un très bon exemple de problème que l'on peut résoudre efficacement et simplement par la mise en oeuvre de technologies développées en intelligence artificielle et optimisation combinatoire. Le langage Prolog et ses extensions à la résolution de contraintes sur des domaines finis font partie de ces technologies. A l'issue du projet, les étudiants auront une bonne compréhension et une bonne pratique de la programmation en Prolog ainsi que des principales techniques de programmation par résolution de contraintes.
Application livrée en fin de projet : Un résolveur de grilles de SUDOKU, avec comparaisons des performances de différentes méthodes de résolution.
Référence : Sudoku et enseignement
Suiveur : René NATOWICZ (ESIEE/A2SI)