Alain Colmerauer

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Colmerauer.
Alain Colmerauer
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 76 ans)
MarseilleVoir et modifier les données sur Wikidata
Nom de naissance
Alain Marie Albert ColmerauerVoir et modifier les données sur Wikidata
Nationalité
Activités
Autres informations
Domaine
Membre de
Site web
Distinction

Alain Colmerauer est un ingénieur informaticien, docteur en informatique et professeur d'université français né le 24 janvier 1941 à Carcassonne, et mort le 12 mai 2017 à Marseille.

Il est l’initiateur du langage de programmation Prolog[1],[2].

Carrière[modifier | modifier le code]

Diplômé de l'Ensimag, Alain Colmerauer passe à Grenoble une thèse d'État sur l'analyse syntaxique des langages de programmation.

Il séjourne ensuite à Montréal, où il travaille sur la traduction automatique de l’anglais vers le français. Il invente à ce propos les systèmes-Q, un pas vers la création de Prolog.

Devenu professeur à l'université de la Méditerranée Aix-Marseille II, il poursuit ses travaux en traitement informatique de la langue, avec notamment les grammaires de métamorphose. Il développe le langage Prolog avec son collègue Philippe Roussel à partir de 1972, formant ainsi la base de la programmation logique.

Il crée ensuite Prolog III puis, s’intéressant de plus en plus à la programmation par contraintes, Prolog IV.

Il étudie ensuite des questions plus théoriques concernant la quantification de la logique du premier ordre.

Il meurt le 12 mai 2017 à Marseille[3].

Distinctions[modifier | modifier le code]

  • Pomme d'Or du Logiciel français en 1982, prix décerné par Apple France pour l'implémentation de Prolog II sur un Apple II, prix partagé avec Henry Kanoui et Michel Van Caneghem.
  • Prix 1984 du Conseil régional de Provence--Alpes--Côte d'Azur.
  • Prix Michel Monpetit 1985, délivré par l'Académie des Sciences.
  • Chevalier de la Légion d'honneur en 1986.
  • Membre associé de l'Association américaine d'intelligence artificielle 1991.
  • Correspondant (rédacteur associé) de l'Académie des Sciences dans la section Mathématiques.

Publication[modifier | modifier le code]

  • Alain Colmerauer, Henry Kanoui et Michel Van Caneghem, Prolog bases théoriques et développements actuels, Techniques et Science Informatiques, vol. 2, n°4, 1983.
  • (en) Frédéric Benhamou, Alain Colmerauer, Constraint Logic programming, Selected Research., MIT Press, 1993

Notes et références[modifier | modifier le code]

  1. (en) J. Cohen, « A view of the origins and development of Prolog », Communications of the ACM, New York, Association for Computing Machinery, vol. 31, no 1,‎ , p. 26-36 (ISSN 0001-0782, lire en ligne).
  2. F. Giannesini et al., Prolog, Interéditions, , 318 p. (ISBN 2729600760).
  3. « Prolog est orphelin », sur binaire.blog.lemonde.fr, 18 mai 2017.

Liens externes[modifier | modifier le code]