Alain Colmerauer

from Wikipedia, the free encyclopedia

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 .


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 .


  • Frederic Benhamou, Alain Colmerauer: Constraint Logic programming, Selected Research. MIT Press, 1993

Web links

Individual evidence

  1. ^ Alain Colmerauer, première promo Ensimag 1963. In: Ensimag, May 17, 2017, accessed on May 28, 2017 (French).