Titre: Outils pour la programmation logique par contraintes
Auteurs: Lakhdar SAÏS
Ecole: CRIL
Résumé: Voir le document
Extrait du sommaire:
• Programmation logique et Prolog (PL)
– SWI-Prolog, Sicstus
• Programmation logique par contraintes (PLC)
– Sicstus
• Problèmes de satisfaction de contraintes (CSP/PC)
– Choco
• Les origines de Prolog
• Deux exemples de programmes
• Syntaxe
– Constantes, variables, termes, prédicats.
– Assertions, Règles, Buts.
• Sémantique
– Unification
– Arbres de dérivation
• Le langage
Télécharger le fichier PDF: Outils pour la programmation logique par contraintes