Cours1

2197 mots 9 pages
PROgrammation LOGique
Prolog:
l’histoire
ECLiPSe
Programmation declarative Deux exemples de programme
Syntaxe de
Prolog
Sémantique
(opérationnelle) de
Prolog
Les nombres en Prolog
Résumé

• Les origines du Prolog (vers 1970):
• A. Colmerauer et al., Univ. d’Aix-Marseille.
Un système de communication homme-machine en français
• R. A. Kowalski, Imperial College, London.
Predicate logic as a programming languages
• L’age d’or (1982-1992): projet de recherche “Ordinateurs de

5ème génération” au Japon.
• La Programmation par Contraintes (dépuis 1987): extension de

Prolog. Applications industrielles et intérêt académique.

Prolog: l’histoire ECLiPSe
Programmation
declarative
Deux exemples de programme
Syntaxe de
Prolog
Sémantique
(opérationnelle) de
Prolog
Les nombres en Prolog
Résumé

Un grand nombre d’implementations disponibles. Voir par exemple: http://fr.wikipedia.org/wiki/Prolog La version que nous allons utiliser:
ECLiPSe
http://eclipseclp.org/
Principale avantage d’ECLiPSe par rapport à d’autres implémentations libres (GNU prolog, SWIProlog, YAP, . . . ), pour ce cours: traitement satisfaisant de la Programmation par Contraintes.

Prolog: l’histoire The user states the problem, the computer solves it

ECLiPSe
Programmation
declarative
Deux exemples de programme
Syntaxe de
Prolog
Sémantique
(opérationnelle) de
Prolog
Les nombres en Prolog
Résumé

Exemple: trier la liste L revient à produire une liste G ayant les mêmes éléments que L et qui soit triée. tri(L,G) :- meme_elts(L,G),triee(G).
La liste G est triée si chaque élément de G est plus petit que l’élément qui le suit (version itérative).
La liste G est triée si son premier élément est plus petit que son deuxième (à condition qu’ils existent), et si la sous-liste commençant au deuxième élément est elle-même triée (version récursive). triee([]). triee([_]). triee([X,Y|L]) :- X=<Y, triee([Y|L]).
L et G ont les mêmes éléments si . . .

Prolog: l’histoire Un programme prolog: assertions et règles ECLiPSe

en relation

  • L’erreur du procureur-épisode 1
    1141 mots | 5 pages
  • CoursGEAS1
    16900 mots | 68 pages
  • Cours 1 SI
    513 mots | 3 pages
  • cas véloc management
    1244 mots | 5 pages
  • TP1-INF1220
    423 mots | 2 pages
  • La loi Hamon sur la consommation
    1407 mots | 6 pages
  • Exagone concurrentiel de costa bienca
    275 mots | 2 pages
  • Cours iaje l1
    20396 mots | 82 pages
  • Alller les vert
    870 mots | 4 pages
  • Programmation des pic
    4130 mots | 17 pages
  • TPE Conquète spatial
    6660 mots | 27 pages
  • Guide projet techno ST2S
    5998 mots | 24 pages
  • iekoca
    466 mots | 2 pages
  • Réflexions eco
    375 mots | 2 pages
  • Prolog
    4422 mots | 18 pages