Кольмероэ, Ален

Ален Кольмероэ родился в Каркасоне^[4]. Окончил Национальный политехнический институт Гренобля и получил степень доктора философии в Ensimag в Гренобле^[5].

С 1967 по 1970 год Кольмероэ работал доцентом в Монреальском университете^[5], где создал Q-системы, один из первых лингвистических формализмов, использованных при разработке прототипа машинного перевода TAUM-METEO. Разработав Prolog III в 1984 году, он стал одним из главных основателей области логического программирования с ограничениями.

В 1970 году Кольмероэ стал доцентом Университета Экс-Марсель в Люмини. В 1979 году получил должность профессора. С 1993 по 1995 год руководил Laboratoire d'Informatique de Marseille (LIM), совместной лабораторией Национального центра научных исследований, Университета Прованса и Средиземноморского университета^[5]. Несмотря на выход на пенсию в качестве почётного профессора в 2006 году^[5], он оставался членом целевой группы по искусственному интеллекту в Люмини^[6].

Кольмероэ получил награду от регионального совета Прованс — Альпы — Лазурный Берег, а в 1985 году — премию Мишеля Монпети от Французской академии наук^[7]. В 1986 году правительство Франции сделало его кавалером ордена Почётного легиона^[5]. В 1991 году он стал членом Американской ассоциации искусственного интеллекта^[8], а в 1997 году Ассоциация логического программирования присвоила ему и четырнадцати другим избранным исследователям звание «Основатель логического программирования»^[9]. В 2008 году он получил премию Ассоциации программирования в ограничениях за выдающиеся достижения в исследованиях^[10]. Он также был членом-корреспондентом Французской академии наук в области математики^[11].

Кольмероэ умер 12 мая 2017 года^[5][12][13].

Премия Алена Кольмероэ (Alain Colmerauer Prize)^[14] организована Ассоциацией логического программирования. Премия присуждается за недавние достижения и практические успехи в вычислениях, вдохновлённых Прологом, в широком смысле, где фундаментальные, технологические и практические вклады имеют доказанную ценность или потенциал для будущего развития логического программирования. Вручение первой премии в 2022 году в сотрудничестве с Ассоциацией наследия Пролога^[15] стало главным событием Года Пролога^[16], посвящённого 50-летию Пролога и логического программирования.