Alain Colmerauer
Pour les articles homonymes, voir Colmerauer.
| 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].
Carrière modifier
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.
Distinctions modifier
- 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 modifier
- 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 modifier
- Jacques Cohen:, « A Tribute to Alain Colmerauer », TPLP, vol. 1, no 6, , p. 637-646 (lire en ligne)
Notes et références modifier
- (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).
- F. Giannesini et al., Prolog, Interéditions, , 318 p. (ISBN 2729600760).
- avec application au compilateur Algol 60 du CAE 510
- Fifth generation computer
- « Prolog est orphelin », sur binaire.blog.lemonde.fr, 18 mai 2017.
- « ALP Awards | Association for Logic Programming », sur web.archive.org, (consulté le )
Liens externes modifier
- Site officiel
- Ressources relatives à la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :
