Alain Colmerauer
Template:Short description Template:Use dmy dates Template:Infobox scientist Alain Colmerauer (24 January 1941 – 12 May 2017) was a French computer scientist. He was a professor at Aix-Marseille University, and the creator of the logic programming language Prolog.
Early lifeEdit
Alain Colmerauer was born on 24 January 1941 in Carcassonne.<ref name="idrefcolmerauer">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> He graduated from the Grenoble Institute of Technology,<ref name="cohen637">Template:Cite journal</ref> and he earned a PhD from the Ensimag in Grenoble.<ref name="associationforlogicprogrammingobit">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
CareerEdit
Colmerauer spent 1967–1970 as assistant professor at the University of Montreal,<ref name="associationforlogicprogrammingobit"/> where he created Q-Systems, one of the earliest linguistic formalisms used in the development of the TAUM-METEO machine translation prototype.<ref name="cohen637"/> Developing Prolog III in 1984, he was one of the main founders of the field of constraint logic programming.<ref name="cohen637"/>
Colmerauer became an associate professor at Aix-Marseille University in Luminy in 1970. He was promoted to full professor in 1979. From 1993 to 1995, he was head of the Laboratoire d'Informatique de Marseille (LIM), a joint laboratory of the Centre National de la Recherche Scientifique, the Université de Provence and the Université de la Méditerranée.<ref name="associationforlogicprogrammingobit"/> Despite retiring as emeritus professor in 2006,<ref name="associationforlogicprogrammingobit"/> he remained a member of the artificial intelligence taskforce in Luminy.<ref name="bnf">Template:Cite book</ref>
Colmerauer won an award from the regional council of Provence-Alpes-Côte d'Azur, and in 1985 the Michel Monpetit Award, from the French Academy of Sciences.<ref name="bnfprixdecommissions">Template:Cite news</ref> In 1986, he was made a knight of the Legion of Honour by the French government.<ref name="associationforlogicprogrammingobit"/> He became Fellow of the American Association for Artificial Intelligence in 1991,<ref name="aaaielected">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and in 1997 the Association for Logic Programming bestowed upon him and fourteen other select researchers the title of Founder of Logic Programming.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> He then received the Association for Constraint Programming's Research Excellence Award in 2008.<ref name="associationresearchexcellenceaward">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> He was also a correspondent of the French Academy of Sciences in the area of mathematics.<ref name="academiedessciences">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
DeathEdit
Colmerauer died on 12 May 2017.<ref name="associationforlogicprogrammingobit"/><ref name="ACM">{{#invoke:citation/CS1|citation |CitationClass=web }} — According to this obituary, Alain Colmerauer died on 15 May.</ref><ref>lemonde.fr (in French)</ref><ref>ensimag.grenoble-inp.fr (in French)</ref>
The ALP Alain Colmerauer PrizeEdit
The ALP Alain Colmerauer Prize (in short: Alain Colmerauer Prize)<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> is organized by the Association for Logic Programming. The Prize is given for recent accomplishments and practical advances in Prolog-inspired computing, understood in a broad sense, where foundational, technological, and practical contributions are eligible with proven evidence or potential for the future development of Logic Programming. The award of the inaugural edition of the Prize in 2022, in cooperation with the Prolog Heritage Association,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> was a highlight of the Year of Prolog<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> celebrating 50 years of Prolog and logic programming.