Alain Colmerauer (Carcasona, - Marsella, ), ingeniero en computación y profesor universitario francés, fue uno de los creadores del lenguaje de programación Prolog.
Biografía Alain Marie Albert Colmerauer estudió en el Instituto Politécnico de Grenoble Ensimag. 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.Con aplicación al compilador ALGOL CAE 510. 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.
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 en Marsella.« Prolog est orphelin », sur binaire.blog.lemonde.fr, 18 mai 2017.
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
Enlaces externos
Categoría:Informáticos de Francia Categoría:Miembros de la Academia de Ciencias de Francia Categoría:Nacidos en Carcasona