Naissance | |
---|---|
Décès | |
Nom de naissance |
Alain Marie Albert Colmerauer |
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeurs de thèse |
Louis Bolliet (d) (), Jean Kuntzmann () |
Site web | |
Distinctions |
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].
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.