Loading AI tools
Informático francés De Wikipedia, la enciclopedia libre
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 5th arrondissement of Marseille (Francia) | (76 años)|
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 |
| |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.