Cours 49 | Outils pour la programmation logique par contraintes

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

Cours Intelligence artificielle 49

Télécharger le fichier PDF: Outils pour la programmation logique par contraintes