Pour l'année 2013-2014, contrairement aux années précédentes, le projet de programmation logique est scindé en deux ou trois parties qui terminent par un devoir.
La première partie est consacrée aux Algorithmes de SAT, nous utiliserons l'outil Glucose qui peut être exécuté sur les ordinateurs de la salle 411 par la commande ./glucose dans le dossier import/jreicher/glucose-3.0/core. Le sujet est disponible, avec un squelette et des tests.
La deuxième partie est consacrée à Coq, et elle est prise en charge par Lucca HIRSCHI.
La troisième partie est consacrée à Prolog (on utilisera GNU Prolog). Les sujets de TD peuvent être récupérés sur ma page du projet des années précédentes. Le sujet est accessible ici. La version initiale est maintenue.