Alain Colmerauer
Un article de Wikipédia, l'encyclopédie libre.
Alain Marie Albert Colmerauer (né le 24 janvier 1941 à Carcassonne) est un informaticien français, initiateur du langage de programmation Prolog.
Après une thèse soutenue à Grenoble sur la compilation d'Algol 60, Alain Colmerauer séjourna à Montréal, où il s'intéressa au traitement automatique des langues, et inventa à ce propos les Q-systèmes.
Devenu professeur à l'université d'Aix-Marseille II, il définit le langage Prolog et poursuivi ses travaux en traitement informatique de la langue, avec notamment les grammaires de métamorphose.
Associé au projet japonais sur les langages de cinquième génération, il s'intéressa à la parallélisation de Prolog.
Avec le développement Prolog IV, il est l'un des principaux experts de la programmation par contraintes.
Il est correspondant de l’Académie des Sciences en mathématiques depuis 1986.
