Max Home IndustryАлен Колмерауэр, который был в центре исследовательской группы, создавшей язык логического программирования Prolog, скончался 12 мая 2017 года в возрасте 76 лет.
Французские ученые-компьютерщики Ален Колмерауэр и Филипп Руссель были людьми, ответственными за первоначальное создание Пролога в Марсельском университете во Франции в 1970-х годах. Название «Пролог» было предложено женой Филиппа Жаклин как сокращение от «PROgrammation en LOGique».
Ален Мари Альберт Колмерауэр родился в 1941 году в Каркассоне. В 1963 году он получил степень по информатике в Технологическом институте Гренобля, а затем докторскую степень в 1967 году. Три года он проработал доцентом в Монреальском университете, где создал Q-Systems. метод преобразований ориентированного графа по заданным правилам грамматики.
Ранняя история Пролога описана в статье Алена Колмерауэра и Филиппа Русселя «Рождение Пролога» в ACM SIGPLAM Notices (1993). в котором говорится:
Язык программирования Prolog родился в результате проекта, направленного не на создание языка программирования, а на обработку естественных языков, в данном случае французского; проект породил предварительную версию пролога конца 1971 года и более окончательную версию конца 1972 года.
В статье представлена история проекта и подробно описаны две версии языка. Он также описывает Q-Systems, которые, как известно, «сыграли заметную роль в генезисе Prolog». В своем заключении авторы также признают «машинно-ориентированную логику, основанную на принципе разрешения», статью, опубликованную Аланом Робинсоном в январе 1965 года, в которой говорится:
Эта статья стала источником важного потока работ по автоматическому доказательству теорем, и нет никаких сомнений в том, что Prolog по сути является средством доказательства теорем а-ля Робинзон.
Они также заявляют:
Пролог настолько прост, что возникает ощущение, что рано или поздно кто-то должен был его открыть. Почему мы открыли его, а не кто-либо другой?
Их ответ заключался в том, что Ален Колмерауэр имел правильную подготовку, принадлежал к первому поколению докторов наук в области компьютерных наук во Франции и обладал своей специальностью в области теории языка, и что они извлекали выгоду из свободы действий в недавно созданном научном центре в Марселе, когда им не было ничего постороннего. давления они смогли полностью посвятить себя проекту.
Помимо Марселя, Эдинбургский университет участвовал в разработке Prolog. Роберт Ковальски внес большой вклад в теорию логического программирования, Маартен ван Эмден продемонстрировал, что это может работать, а Дэвид Уоррен создал первую эффективную реализацию, которая была необходима для успеха Prolog в реальном мире.
Колмерауэр продолжил разработку Prolog II, системы, которая управляет бесконечными деревьями, а не логикой, и в 1982 году он разделил с Генри Кануи и Мишелем Ван Канегемом награду от Apple France, la Pomme d’Or du Logiciel Francais. В 1984 году он разработал Prolog III, став одним из основных основоположников области программирования логики ограничений, в которой логическое программирование расширяется за счет включения концепций удовлетворения ограничений. Он получил награду ACP Research Excellence Award за принципы и практику ограниченного программирования в 2008 году.
Среди других наград, в 1986 году он был удостоен звания кавалера Почетного легиона французского правительства и стал членом Американской ассоциации искусственного интеллекта в 1991 году.