Alain Colmerauer (24 de enero de 1941 - 12 de mayo de 2017) fue un informático francés . Fue profesor en la Universidad de Aix-Marseille y creador del lenguaje de programación lógica Prolog .
Alain Colmerauer nació el 24 de enero de 1941 en Carcasona . [1] Se graduó en el Instituto Tecnológico de Grenoble , [2] y obtuvo un doctorado en el Ensimag de Grenoble . [3]
Colmerauer pasó entre 1967 y 1970 como profesor asistente en la Universidad de Montreal , [3] donde creó Q-Systems , uno de los primeros formalismos lingüísticos utilizados en el desarrollo del prototipo de traducción automática TAUM-METEO . [2] Al desarrollar Prolog III en 1984, fue uno de los principales fundadores del campo de la programación lógica de restricciones . [2]
Colmerauer se convirtió en profesor asociado en la Universidad de Aix-Marseille en Luminy en 1970. Fue ascendido a profesor titular en 1979. De 1993 a 1995, fue director del Laboratoire d'Informatique de Marseille (LIM), un laboratorio conjunto del Centro. National de la Recherche Scientifique, la Université de Provence y la Université de la Méditerranée. [3] A pesar de jubilarse como profesor emérito en 2006, [3] siguió siendo miembro del grupo de trabajo de inteligencia artificial en Luminy. [4]
Colmerauer ganó un premio del consejo regional de Provenza-Alpes-Costa Azul , y en 1985 el Premio Michel Monpetit , de la Academia de Ciencias de Francia . [5] En 1986, el gobierno francés lo nombró caballero de la Legión de Honor . [3] Se convirtió en miembro de la Asociación Estadounidense de Inteligencia Artificial en 1991, [6] y en 1997 la Asociación de Programación Lógica le otorgó a él y a otros catorce investigadores selectos el título de Fundador de la Programación Lógica . [7] Luego recibió el Premio a la Excelencia en Investigación de la Asociación para la Programación de Restricciones en 2008. [8] También fue corresponsal de la Academia Francesa de Ciencias en el área de matemáticas. [9]
Colmerauer murió el 12 de mayo de 2017. [3] [10] [11] [12]
El Premio ALP Alain Colmerauer Prolog Heritage (en resumen: el Premio Alain Colmerauer ) [13] está organizado por la Asociación para la Programación Lógica (ALP). El Premio se otorga por logros recientes y avances prácticos en la informática inspirada en Prolog, entendida en un sentido amplio, donde son elegibles contribuciones fundacionales, tecnológicas y prácticas con evidencia comprobada o potencial para el desarrollo futuro de la Programación Lógica.
{{cite web}}: Mantenimiento CS1: bot: estado de la URL original desconocido ( enlace )