Découvrez notre Chaîne YouTube "Devenir Ingénieur"

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

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.

You have successfully subscribed to the newsletter

There was an error while trying to send your request. Please try again.

FPGA | Arduino | Matlab | Cours will use the information you provide on this form to be in touch with you and to provide updates and marketing.