Ce cours est une introduction à la programmation logique et à la programmation par contraintes, avec l'étude de l'environnement Gnu Prolog.
F. Bapst (HEIA-FR)