Découvrez notre Chaîne YouTube "Ingénierie et Projets"
Découvrez notre Chaîne Secondaire "Information Neuronale et l'Ingénierie du Cerveau"
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
Le blog contient des publicités, elles permettent de financer l'hébergement et maintenir le blog en fonctionnement. Vous pouvez utiliser adblock pour une lecture sans publicités.