Programmation logique et par contraintes Cours 1

pages

Français

Documents

Écrit par
Thi Bich Hanh Dao

Publié par
Vowyug

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

pages

Français

Documents

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

Publié par

Vowyug

Nombre de lectures

Langue

Français

Ressources! Livres :Programmation logique et par contraintes L’art de Prolog, Leon Sterling, Ehud ShapiroProgrammation logique par contraintes, François FagesCours 1! Ressources en ligne! Programmation logiqueThi-Bich-Hanh Dao http ://www.pps.jussieu.fr/~buccia/COURS/Prolog/prolog/http :/emn.fr/x-info/jussien/prolog/M1 Informatique - Université d’Orléans ! Programmation par contrainteshttp ://contraintes.inria.fr/~fages/Teaching/http ://www710.univ-lyon1.fr/~csolnon/Site-PPC/e-miage-ppc-Année 2008-2009som.htmhttp ://www.liafa.jussieu.fr/~haberm/cours/prologconstraints/index.htmlPlan I. IntroductionProlog : un concept di!érent de programmationPopularité des langages 7/2008 (Source TIOBE)! Java : 21,35%! C : 15,94%1. Introduction ! C++ : 10,69%2. Syntaxe de Prolog ! Ada : 0,40%3. Sémantique opérationnelle ! Prolog : 0,22%4. Entiers en Prolog Mais Prolog : concept di!érent! langage relationnel, logique! déclaratif! adapté aux problèmes décisionnels, d’Intelligence artiﬁcielle! nouvelle façon de programmer! excellent support des contraintesI. Introduction I. IntroductionComparaison La programmation logique en deux motsimpératif fonctionnel logique ! programmer avec des relationsprogramme suite d’instructions suite de déﬁnitions suite de déﬁnitionsde fonction de prédicats ! programme = description de relations (prédicats) + requêteexécution modiﬁcation de réécriture recherche de ! pas d’a!ectation, pas d’itérationla mémoire preuves!résultat ...

Voir

Publié par

Vowyug

Langue

Français

informatique

Voir