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 artificielle! 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éfinitions suite de définitionsde fonction de prédicats ! programme = description de relations (prédicats) + requêteexécution modification de réécriture recherche de ! pas d’a!ectation, pas d’itérationla mémoire preuves!résultat ...