IRILL - Research and Innovation on Free Software -
Mathilde Fichen (Ht2S, CNAM) :
« Anatomie d'un langage de programmation, Prolog et les débuts de la recherche européenne en intelligence artificielle »
Résumé :
Le langage de programmation Prolog, développé au début des années 1970 par des équipes de recherche de Marseille et Édimbourg, met en lumière la difficulté de saisir la nature épistémologique de l'objet complexe qu'est un langage de programmation. Là où la plupart des langages de programmation préexistants s'inscrivent dans une généalogie commune — un langage étant créé soit dans la continuité de, soit en réaction à un langage préexistant jugé insuffisant —, conférant à ces objets une appartenance à une même famille technique, Prolog n'a pas été initialement conçu comme un langage de programmation. Le langage émerge par itérations successives à partir d'un outil de démonstration automatique, utilisé dans le cadre d'un projet de traitement des langues naturelles. Cette émergence progressive rend par ailleurs difficile d'épingler le moment exact où Prolog « devient » un langage de programmation et cesse d'être un outil de démonstration. La généalogie particulière de Prolog vient questionner de l'intérieur les limites bornant l'appartenance à la catégorie d'objet technique. En étudiant le contexte social, scientifique et culturel dans lequel Prolog voit le jour puis se développe, celui de la recherche naissant en intelligence artificielle en Europe dans les années 1970 et 1980, nous chercherons à mieux qualifier la nature de cet objet complexe, non pas de manière normative (en définissant les critères auxquels devrait répondre un objet technico-scientifique pour être qualifié de langage de programmation) mais de manière davantage descriptive en observant les manifestations concrètes d’existence du langage.