Pour l'année 2011-2012, le Projet Programmation Logique consiste en quelques séances de TP (sujets : TP 1, TP 2 [correction], TP 3 [correction], TP 4 [correction]) où vous pourrez apprendre le langage Prolog (on utilisera GNU Prolog), puis d'un pré-projet de quatre exercices (barème) servant de mise en appétit avant le projet proprement dit. (plateau de départ)
Documents utilisés pour le préprojet : graphe du métro parisien et guide pour l'ouverture au bridge.
Autres documents intéressants : guide trouvé dans les archives du LSV, guide pour écrire des programmes agréables à lire, cours de Prolog (M1 P7 2008/2009) et cours de programmation par contraintes.