cours 1 : introduction (.pdf)
        cours 2 : Problèmes de satisfaction de contraintes (CSP) : modélisation (.pdf) 

        cours 3 : Introduction à la Programmation Logique  (.pdf)      
     
        cours 4 : Problèmes de satisfaction de contraintes (CSP) : résolution (.pdf) 

        cours 5 : Programmation logique avec contraintes (CPL) (.pdf)     

       TD1 : (.pdf)   TD2 : (.pdf) 
          
       TP1 :  (.pdf)       TP2 :  (.pdf)     TP3 : (.pdf)  TP4 : (.pdf)