Alain Colmerauer

Alain Colmerauer (Carcasona, 24 de enero de 1941 - Marsella, 12 de mayo de 2017), ingeniero en computación y profesor universitario francés, fue uno de los creadores del lenguaje de programación Prolog.[1]

Alain Colmerauer
Información personal
Nombre de nacimiento Alain Marie Albert Colmerauer
Nacimiento 24 de enero de 1941
Carcasona (Francia)
Fallecimiento 12 de mayo de 2017 (76 años)
5th arrondissement of Marseille (Francia)
Nacionalidad Francesa
Educación
Educado en
Supervisor doctoral Louis Bolliet y Jean Kuntzmann
Información profesional
Ocupación Informático teórico, ingeniero y profesor universitario
Área Ciencias de la computación
Empleador
Estudiantes doctorales Verónica Dahl y Philippe Roussel
Obras notables Prolog
Miembro de
Sitio web alain.colmerauer.free.fr
Distinciones

Biografía

Alain Marie Albert Colmerauer estudió en el Instituto Politécnico de Grenoble Ensimag.[2] Más tarde, obtuvo el título de doctor por la Universidad de Grenoble con una tesis sobre el análisis sintáctico de los lenguajes de programación.[3][4] Tras una estancia científica en Montreal, trabajó sobre los sistemas de traducción automática, en especial del inglés al francés. Inventó el llamado sistema Q, primer paso hacia el nacimiento del lenguaje Prolog.[5]

Fue profesor de la Universidad del Mediterráneo, la Aix-Marseille II, y continuó sus trabajos en los equipos de procesamiento de lenguajes, como la gramática de la metamorfosis. Desarrolló el lenguaje Prolog con su colega Philippe Roussel a partir de 1972, creando la base de la nueva Programación lógica.

Alrededor de 1980, fue uno de los asesores principales del proyecto japonés para equipos de 5ª Generación, la conocida como 5G, lo que le llevaría al desarrollo del Prolog de Ehud Shapiro. A continuación, creó Prolog III y, más tarde, centrándose cada vez más en la programación con restricciones, Prolog IV (1996) y la lógica de la programación con restricciones.

Estudió luego cuestiones más teóricas en relación con la informática cuántica y la lógica del primer orden.

Murió el 12 de mayo de 2017 en Marsella.[6]

Distinciones
  • Pomme d'or de Software en 1982, otorgado por Apple Francia por la implementación de Prolog II en un Apple II (premio compartido con Henry Kanoui y Michel Van Caneghem.
  • Premio 1984 del Consejo regional de la región de Provence-Alpes-Côte d'Azur.
  • Premio Michel Monpetit 1985, expedido por la Academia de Ciencias de Francia.
  • Caballero de la Legión de honor en 1986.
  • Miembro asociado de la Asociación estadounidense de inteligencia artificial, 1991.
  • Correspondiente (editor asociado) de la Academia de Ciencias de Francia en la sección de Matemáticas.

Publicaciones
  • Alain Colmerauer, Henry Kanoui et Michel Van Caneghem, Prolog bases théoriques et développements actuels, Techniques et Science Informatiques, vol. 2, número 4, 1983.
  • Frédéric Benhamou, Alain Colmerauer, Constraint Logic programming, Selected Research., MIT Press, 1993

Referencias
  1. Cohen, J. «A view of the origins and development of Prolog». Communications of the ACM (Association for Computing Machinery) 31: 26-36. ISSN 0001-0782.
  2. «Colmerauer, Alain (1941-....)». IdRef. Consultado el 19 de mayo de 2017.
  3. Cohen, Jacques (November 2001). «A Tribute to Alain Colmerauer». Theory and Practice of Logic Programming 1 (6): 637-646. Consultado el 19 de mayo de 2017.
  4. Con aplicación al compilador ALGOL CAE 510.
  5. Editors (15 de mayo de 2017). «In Memoriam: Alain Colmerauer». Association for Logic Programming. Consultado el 18 de mayo de 2017.
  6. « Prolog est orphelin », sur binaire.blog.lemonde.fr, 18 mai 2017.

Enlaces externos
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.