Programmation Logique avec Contraintes en Prolog : résolution d'un sudoku

Date de publication : 03 Février 2006 , Date de mise à jour : 12 Février 2006

Cet article a pour but d'illustrer la Programmation Logique avec Contraintes (PLC) en Prolog au travers d'un exemple simple (écriture d'un programme pour la résolution de sudoku).

Les règles du sudoku
Programmation Logique avec Contraintes
Le langage Prolog
swi-prolog
Bibliothèque utilisée

Résolution du problème
Etapes de résolution
Déclaration des variables
Définition des domaines
Spécification des contraintes
Recherche de solutions

Programme et exécution
Programme
Exécution

Performances
Performances de swi-prolog
Programme modifié

Extension du problème
Différences entre swi-prolog et Sicstus Prolog
Conclusion sur le langage
Remerciements

Copyright © 2006 pcaboche. Aucune reproduction, même partielle, ne peut être faite de ce site et de l'ensemble de son contenu : textes, documents, images, etc sans l'autorisation expresse de l'auteur. Sinon vous encourez selon la loi jusqu'à 3 ans de prison et jusqu'à 300 000 E de dommages et intérêts. Cette page est déposée à la SACD.