Séminaire Codes Sources du jeudi 09 avril 2026 : Anatomie d'un langage de programmation, Prolog et les débuts de la recherche européenne en intelligence artificielle

L'Irill accueille les prochaines séances du séminaire Codes Sources : http://codesource.hypotheses.org/

L'objectif du séminaire Codes sources est de présenter la pensée informatique là où elle s'exprime le plus concrètement : dans les textes que sont les codes sources.

Séance du jeudi 09 avril 2026 (14h00-16h00) :

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.

Lieu :

en chair et en os dans la salle 55-65/211 du campus de Jussieu (4 place Jussieu, 75005 Paris, métro Jussieu) ;

ou par vidéoconférence : https://galene.irill.org/group/irill/codessources/ (avec un identifiant quelconque et un mot de passe vide)