Lakhdar SAIS' home page

• Home
• Research
• Publications
• Teaching
• Links
• Personal

 

 

 

Cours

• Cours : Programmation logique - Prolog (PL) (cours1PL.pdf, cours2PL.pdf, tp1.pdf, tp1PLCorrection.pdf )
• Cours : Programmation logique avec contraintes (CLP) (cours1.pdf, a venir)
• Cours : Programmation par contraintes (CP) - Problèmes de satisfaction de contraintes (CSP) (cours2.pdf, cours3.pdf, cours4.pdf)
• PLC domaines finis (sujet et corrections)- (tp1PLC-FD.pdf, tp1PLC-FD-Correction.pdf)
• PLC domaines finis (sujet pour révision)- (tp1PLC-FD.pdf (à faire))
• Prolog de Base (sujet pour révision)- (tp1RevisionProlog.pdf (à faire))

 

Links

• Sicstus CLP
• Choco Solver CP