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-Marsella y creador del lenguaje de programación lógica Prolog .
Alain Colmerauer nació el 24 de enero de 1941 en Carcassonne . [1] Se graduó en el Instituto Tecnológico de Grenoble , [2] y obtuvo un doctorado en la Ensimag de Grenoble . [3]
Colmerauer pasó de 1967 a 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] Desarrollando 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-Marsella 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 Centre 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 sobre 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 Francesa de Ciencias . [5] En 1986, fue nombrado caballero de la Legión de Honor por el gobierno francés. [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 de 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 Alain Colmerauer Prolog Heritage Prize de la ALP (abreviado: el premio Alain Colmerauer ) [13] es organizado por la Asociación de Programación Lógica (ALP). El premio se otorga por logros recientes y avances prácticos en computación inspirada en Prolog, entendida en un sentido amplio, donde las contribuciones fundamentales, tecnológicas y prácticas son elegibles con evidencia probada o potencial para el desarrollo futuro de la Programación Lógica.
{{cite web}}: CS1 maint: bot: estado de URL original desconocido ( enlace )