Alain Colmerauer
Alain Marie Albert Colmerauer (born January 24, 1941 in Carcassonne , Occitania , † May 12, 2017 in Marseille , Provence-Alpes-Côte d'Azur ) was a French computer scientist . He is considered to be one of the inventors of the logical programming language Prolog and the Q-System, one of the first linguistic tools during the development of the TAUM-METEO prototype. He worked as a professor at the University of Aix-Marseille .
Life
Alain Colmerauer studied from 1963 at the École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble (ENSIMAG) . In 1967 he was awarded a doctorate in computer science for his dissertation Précédence, analyze syntaxique et langages de programmation . From 1967 to 1970 he stayed in Canada, where he was an assistant professor at the University of Montreal . In 1972, the research group Groupe d'Intelligence Artificielle de Luminy in Marseille, under the direction of Colmerauer, first implemented the Prolog programming language .
Alain Colmerauer was married and had three children.
Prizes and awards
In 1986 he was made a Knight of the Legion of Honor . In 1987 he became a corresponding member of the Académie des Sciences .
literature
- Frederic Benhamou, Alain Colmerauer: Constraint Logic programming, Selected Research. MIT Press, 1993
Web links
- Official website (French)
Individual evidence
- ^ Alain Colmerauer, première promo Ensimag 1963. In: grenoble-inp.fr. Ensimag, May 17, 2017, accessed on May 28, 2017 (French).
| personal data | |
|---|---|
| SURNAME | Colmerauer, Alain |
| ALTERNATIVE NAMES | Colmerauer, Alain Marie Albert (full name) |
| BRIEF DESCRIPTION | French computer scientist |
| DATE OF BIRTH | January 24, 1941 |
| PLACE OF BIRTH | Carcassonne , Occitania , France |
| DATE OF DEATH | May 12, 2017 |
| Place of death | Marseille , Provence-Alpes-Cote d'Azur , France |