Alain Colmerauer
Pour les articles homonymes, voir Colmerauer.
Pour les articles homonymes, voir Colmerauer.
| Naissance | |
|---|---|
| Décès | |
| Nom de naissance |
Alain Marie Albert Colmerauer |
| Nationalité | |
| Formation | |
| Activités | |
| Enfant |
| 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
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 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, 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
- ↑ (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
- Site officiel
- Archives conservées par : archives régionales de Provence-Alpes-Côte d'azur
- Ressources relatives à la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.