Alain Colmerauer

Alain Colmerauer (24 de enero de 1941 – 12 de mayo de 2017) fue un científico 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 Carcasona . ^{[ 1 ]} Se graduó del Instituto Tecnológico de Grenoble , ^{[ 2 ]} y obtuvo un doctorado de la Ensimag de Grenoble . ^{[ 3 ]}

Colmerauer pasó los años 1967-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 con restricciones . ^{[ 2 ]}

Colmerauer se convirtió en profesor asociado de la Universidad de Aix-Marsella en Luminy en 1970. Fue ascendido a catedrático en 1979. De 1993 a 1995, dirigió el 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 haberse jubilado 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 Francesa de Ciencias . ^{[ 5 ]} En 1986, el gobierno francés le otorgó la condecoración de caballero de la Legión de Honor . ^{[ 3 ]} En 1991, se convirtió en miembro de la Asociación Estadounidense de Inteligencia Artificial, ^{[ 6 ]} y en 1997, la Asociación de Programación Lógica le concedió, junto con otros catorce investigadores selectos, el título de Fundador de la Programación Lógica . ^{[ 7 ]} Posteriormente, en 2008, recibió el Premio a la Excelencia en Investigación de la Asociación de Programación de Restricciones . ^{[ 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 (en resumen: Premio Alain Colmerauer ) ^{[ 13 ]} es organizado por la Asociación para la Programación Lógica . El Premio se otorga por logros recientes y avances prácticos en la computación inspirada en Prolog, entendida en un sentido amplio, donde las contribuciones fundamentales, tecnológicas y prácticas son elegibles con evidencia comprobada o potencial para el desarrollo futuro de la Programación Lógica. La entrega de la edición inaugural del Premio en 2022, en cooperación con la Asociación del Patrimonio de Prolog, ^{[ 14 ]} fue un momento destacado del Año de Prolog ^{[ 15 ]} que celebró los 50 años de Prolog y la programación lógica.

• Sitio web oficial
• Alain Colmerauer, L'aventure Prolog (Película)
• Día del Prólogo (Película)