Programmation Logique par Contraintes

Ce cours a pour objectif d’initier les étudiants à la programmation par contraintes. Le langage Prolog ainsi que les problèmes de satisfaction de contraintes (CSP) seront étudiés.