Alain Colmerauer

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.

Alain Colmerauer

Biographie

Naissance	24 janvier 1941 Carcassonne
Décès	12 mai 2017 (à 76 ans) 5e arrondissement de Marseille
Nom de naissance	Alain Marie Albert Colmerauer
Nationalité	française
Formation	École nationale supérieure d'informatique et de mathématiques appliquées Institut polytechnique de Grenoble
Activités	Informaticien, ingénieur, professeur d'université
Enfant	Anne Calife

Autres informations

A travaillé pour	Université de Montréal Université d'Aix-Marseille
Membre de	Académie des sciences Institut universitaire de France
Directeurs de thèse	Louis Bolliet (d) (1967), Jean Kuntzmann (1967)
Site web	alain.colmerauer.free.fr
Distinctions	Prix Michel-Monpetit (1985) Chevalier de la Légion d'honneur‎ (1986) AAAI Fellow (1991)

Œuvres principales

Prolog

modifier - modifier le code - modifier Wikidata

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

Carrière

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

Ensuite coopérant scientifique à Montréal, il travaille sur la traduction automatique des bulletins météo 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.

Vers 1980, il est un des consultants majeurs du projet japonais d'ordinateurs de 5e génération^[4], ce qui devait mener à la conception du Concurrent Prolog d'Ehud Shapiro.

Il crée ensuite Prolog III puis, s’intéressant de plus en plus à la programmation par contraintes, Prolog IV (1996) et la programmation logique sous contraintes.

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

Il meurt le 12 mai 2017 à Marseille^[5].

Il est le père d'Anne Colmerauer, dite Calife.

Distinctions

• 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.
• Nommé Founder of Logic Programming par l'Association of Logic Programming en 1997^[6].
• Correspondant (rédacteur associé) de l'Académie des Sciences dans la section Mathématiques.

Publications

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

Bibliographie

• Jacques Cohen:, « A Tribute to Alain Colmerauer », TPLP, vol. 1, n^o 6,‎ 2001, p. 637-646 (lire en ligne)