Alain Colmerauer
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 ![]() 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 |
| |
[editar datos en Wikidata] |
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]
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
- ↑ 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.
- ↑ «Colmerauer, Alain (1941-....)». IdRef. Consultado el 19 de mayo de 2017.
- ↑ 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.
- ↑ Con aplicación al compilador ALGOL CAE 510.
- ↑ Editors (15 de mayo de 2017). «In Memoriam: Alain Colmerauer». Association for Logic Programming. Archivado desde el original el 26 de octubre de 2020. Consultado el 18 de mayo de 2017.
- ↑ « Prolog est orphelin », sur binaire.blog.lemonde.fr, 18 mai 2017.
Enlaces externos
Wikimedia Commons alberga una categoría multimedia sobre Alain Colmerauer.
Datos: Q93072
Multimedia: Alain Colmerauer / Q93072