Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Programmation logique prolog

Programmation logique Prolog Programmation Logique H Jamoussi Elkamel FSM Chapitre Programmation logique et Prolog Programmation Logique H Jamoussi Elkamel FSM CPourquoi la programmation ? On écrit des programmes pour résoudre des problèmes ? Un problème est spéci ?é par ?? Les entrées ? les données les faits ? les contraintes et les hypothèses règles ?? Les sorites la conclusion but ? Résoudre un problème revient à trouver un chemin de résolution à partir des entrées vers la sortie c ? està-dire donner une démonstration de la conclusion à partir des entrées Programmation Logique H Jamoussi Elkamel FSM Exemple parcours d ? un graphe ? Soit le graphe orienté suivant ? Dans les graphes orientés les chemins les arcs sont à sens unique entre deux sommets ou n ?uds Programmation Logique H Jamoussi Elkamel FSM CExemple parcours d ? un graphe ? On cherche à écrire un programme pour répondre aux questions Peut-on aller de ? a ? vers ? c ? Comment aller de ? a ? vers ? e ? Quels sont les chemins menant à ? e ? Comment aller de ? a ? à ? e ? en passant de ? d ? ? Programmation Logique H Jamoussi Elkamel FSM Les principaux paradigmes en programmation o Programmation impérative dire comment résoudre o Programmation orientée objets o Programmation déclarative dire quoi résoudre Programmation Logique H Jamoussi Elkamel FSM CLes principaux paradigmes en programmation ? La programmation impérative procédurale o Dire comment résoudre un problème o se traduit par une démarche algorithmique suite d ? instructions qui décrit la façon de traiter les données pour atteindre un résultat par une série d ? actions instructions o L ? ordre d ? exécution des instructions est impératif déterminé à l ? avance o Le déroulement du programme est parfaitement déterministe o Importance des structures de contrôle o Exemples C Basic Pascal Fortran Java ? Programmation Logique H Jamoussi Elkamel FSM Les principaux paradigmes en programmation ? La programmation orientée objet o Décomposition d ? un objet en attributs et méthodes o Notions de classe et d ? interface de sous-classe d ? héritage de polymorphisme o Exemples Smalltalk C Java C ActionScript VisualBasic Ada Python Programmation Logique H Jamoussi Elkamel FSM CLes di ?érents mode de programmation ? La programmation déclarative ?? Dire quoi résoudre c'est-à-dire spéci ?er le problème et non comment faire pour le résoudre ?? Par exemple les pages HTML sont déclaratives car elles décrivent ce que contient une page texte titres paragraphes etc et non comment les a ?cher positionnement couleurs polices de caractères etc ?? C'est une forme de programmation sans e ?ets de bord ayant généralement une correspondance avec la logique mathématique Programmation Logique H Jamoussi Elkamel FSM La programmation déclarative ? Il existe plusieurs formes de la programmation déclarative ?? La programmation descriptive ?? La programmation fonctionnelle ?? La programmation logique ?? la programmation par contraintes Programmation Logique H Jamoussi Elkamel FSM CLa programmation déclarative ?? La programmation descriptive ? à l'expressivité réduite