L
akhdar SAIS' home page
Home
Research
Publications
Teaching
Links
Personal
Home
Research
Publications
Teaching
Links
Personal
Outils pour la programmation par contraintes
(Master SIA "Systèmes Intelligents et Applications" )
(Master ILI " Ingénierie Logicielles pour l'Internet" )
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