Programmation logique et Prolog
Cours
La progession suivie est celle proposée par
Learn Prolog Now
et augmentée d'une partie consacrée à la
programmation par contraintes
.
Les
notes de cours
.
Fiche 1
Fiche 2
Fiche 3
Fiche 4
Fiche 5
La librairie clpq
La librairie clpfd
Sudoku
N-reines
Cavalier
Autres exemples
Exercices
Fiches TD/TP :
TDP 1
,
TDP 2
,
TDP 3
,
TDP 4
,
TDP 5
,
TDP 6
,
Fiche
d'exercices concernant les arbres de dérivations
99
exercices de Prolog corrigés
Ressources
Télécharger
SWI-Prolog
Notes de cours
-- rédaction :
Jacques Tisseau
, révision :
Fred Mesnard
Résumé
Emacs
Utiliser :
Pldoc
pour documenter
Plunit
pour tester
Projet 06-07
Partiels
décembre 06
janvier 07
décembre 07
décembre 08
décembre 09
