Alain Colmerauer

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Colmerauer.

Alain Colmerauer
Biographie
Naissance
Décès
Nom de naissance
Alain Marie Albert ColmerauerVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Enfant
Autres informations
A travaillé pour
Membre de
Directeurs de thèse
Louis Bolliet (d) (), Jean Kuntzmann ()Voir et modifier les données sur Wikidata
Site web
Distinctions
Œuvres principales

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

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 à Marseille[5].

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

Distinctions

Publications

  • Alain Colmerauer, Henry Kanoui et Michel Van Caneghem, Prolog bases théoriques et développements actuels, Techniques et Science Informatiques, vol. 2, no 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, no 6,‎ , p. 637-646 (lire en ligne)

Notes et références

  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. ↑ avec application au compilateur Algol 60 du CAE 510
  4. ↑ Fifth generation computer
  5. ↑ « Prolog est orphelin », sur binaire.blog.lemonde.fr, 18 mai 2017.
  6. ↑ « ALP Awards | Association for Logic Programming », sur web.archive.org, (consulté le )

Liens externes