Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C'est Philippe Roussel qui l’a choisi, comme abréviation de «programmation en logique»





télécharger 170.35 Kb.
titreBibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C'est Philippe Roussel qui l’a choisi, comme abréviation de «programmation en logique»
page1/11
date de publication09.10.2017
taille170.35 Kb.
typeBibliographie
h.20-bal.com > loi > Bibliographie
  1   2   3   4   5   6   7   8   9   10   11


La naissance de Prolog
juillet 1992


Alain Colmerauer

Faculté des Sciences de Luminy,

70 route Léon Lachamp

13288 Marseille, cedex 9, France

e-mail: colmer@gia.univ-mrs.fr

fax: (33) 91 26 92 75

tel: (33) 91 40 11 37

Philippe Roussel

Elsa Software,

Technopôle de Chateau Gombert

13013 Marseille, France

e-mail: proussel@elsa.fr

fax: (33) 91 05 50 09

tel: (33) 91 05 50 08



Résumé
Le langage de programmation Prolog est né d'un projet, dont le but n'était pas de faire un langage de programmation mais de traiter les langages naturels, en l'occurrence le Français. Ce projet a donné naissance à un Prolog préliminaire à la fin 1971 et un Prolog plus définitif à la fin de l'année 1972. Cet article relate l'histoire de ce projet, décrit en détail la version préliminaire de Prolog puis sa version définitive. Les auteurs ont aussi jugé bon de décrire les systèmes-Q un langage qui a joué un rôle important dans la genèse de Prolog.
Table des matières


Introduction 1

Partie I. L'histoire 1

Année 1971, les premiers travaux 2

Année 1972, l'application qui crée Prolog 4

Année 1973, le Prolog définitif 7

Année 1974 et 1975, la diffusion de Prolog 8

Partie II. Un ancêtre de Prolog, les systèmes-Q 9

Unification unidirectionnelle 9

Stratégie d'application des règles 10

Réalisation 12

Partie III. Le Prolog préliminaire 13

Choix de la méthode de résolution, raisons 13

Caractéristiques du Prolog préliminaire 16

Réalisation du Prolog préliminaire 18

Partie IV. Le Prolog définitif 19

Stratégie de résolution 19

Syntaxe et Primitives 21

Un exemple de programme 22

Réalisation de l'interprète 25

Conclusion 26

Bibliographie 27



Introduction



Il est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C'est Philippe Roussel qui l’a choisi, comme abréviation de « PROgrammation en LOGique », pour désigner l'outil informatique conçu pour implanter un système de communication homme machine en langage naturel. On peut dire que Prolog a été le fruit d'un mariage réussi entre le traitement du langage naturel et la démonstration automatique. L'utilisation directe du français pour raisonner et dialoguer avec un ordinateur, était un rêve un peu fou : c'était le projet élaboré dès l'été 70, par Alain Colmerauer qui avait une certaine expérience dans le traitement informatique des langages naturels, et qui souhaitait élargir sa recherche.
Les deux auteurs de cet article, Alain Colmerauer et Philippe Roussel, sont donc présentés, mais il est évident que bien d'autres personnes ont participé à un tel projet. Pour rester objectifs en racontant l'histoire de la naissance de Prolog, qui a déjà vingt ans maintenant, nous avons repris tous les documents qui nous restaient et nous avons joué les historiens. Nous avons d'abord suivi la chronologie de très près, pour exposer les faits et décrire les acteurs de l'été 70 à la fin 76. Ceci constitue la première partie de l’article. Les autres parties sont plus techniques. Elles sont consacrées aux trois langages de programmations qui se sont succédés rapidement : les systèmes-Q conçus pour la traduction automatique, le Prolog préliminaire créé en même temps que son application et le Prolog définitif créé indépendamment de toute application.
Ce papier n'est pas le premier sur l'histoire de Prolog. Signalons celui de Jacques Cohen [1988], directement sur Prolog, et celui de Robert Kowalski [1988], sur la naissance de la discipline « Logic Programming ». Il est aussi intéressant de prendre connaissance de l'histoire de la démonstration automatique vue par Donald Loveland [1984] et de l'existence antérieure d'un possible concurrent à Prolog, le langage Absys vu par Elcock [1988].


  1   2   3   4   5   6   7   8   9   10   11

similaire:

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Bibliographie sélective Table des matières introduction generale...
«Santé publique» et est destiné aux étudiants en deuxième année de graduat en Sciences Infirmières pour toute les orientations

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Les Waresquiel, de riches flamands
«quartier de l’Europe» qui se crée sous Louis-Philippe dans les années 1840, autour de la première gare parisienne Saint-Lazare,...

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Chapitre 7 • La personne physique et la personne morale
«dénomination sociale» pour une société et de «titre» pour une association. Contrairement aux personnes physiques, le nom est librement...

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Bibliographie introduction s'interroger sur la mort c'est s'interroger...

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Cette chronique a été publiée sur le webzine
«gens», mis ensemble, nous donne un truc de fou. Comme l’a dit un grand penseur du xxème siècle, Johnny Hallyday (de son vrai nom,...

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Avec un ami (Philippe Tronet), j’avais décidé de visiter Madagascar...

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\La Ville est partenaire de Suivez le Phil, une émission radio qui...
«Montpellier notre ville». En page 2 de ce document un sommaire a été créé pour faciliter l’accès aux différents articles du journal....

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Note : Le terme "multimédia" est utilisé comme nom ou comme adjectif...

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\Leçon 9 10 mai 1972 Leçon 10 17 mai 1972 01 Juin 1972 Le savoir du...
«les internes des asiles», ce sont maintenant «des hôpitaux psychiatriques», sans compter le reste

Bibliographie 27 Introduction IL est de notoriété publique que le nom de Prolog a été créé à Marseille en 1972. C\«L’Homme pour qui sa patrie est douce, n’est qu’un tendre débutant;...






Tous droits réservés. Copyright © 2016
contacts
h.20-bal.com