Alain Colmerauer
Alain Colmerauer
| Nacimiento |
24 de enero de 1941 Carcasona |
|---|---|
| Muerte |
12 de mayo de 2017(en 76) Marsella |
| Nombre de nacimiento | Alain Marie Albert Colmerauer |
| Nacionalidad | francés |
| Capacitación | Instituto Politécnico de Grenoble |
| Ocupaciones | Científico informático , ingeniero , profesor universitario |
| Trabajé para | Universidad de Montreal , Universidad de Aix-Marseille |
|---|---|
| Campo | Ciencias de la Computación |
| Miembro de | Academia de Ciencias |
| Sitio web | alain.colmerauer.free.fr |
| Distinción | Premio Michel-Monpetit (1985) |
| Prólogo |
Alain Colmerauer es un ingeniero informático , doctor en informática y profesor universitario francés nacido el24 de enero de 1941en Carcasona , y murió el12 de mayo de 2017en Marsella .
Es el iniciador del lenguaje de programación Prolog .
Carrera profesional
Graduado de Ensimag , Alain Colmerauer está defendiendo una tesis de Estado en Grenoble sobre el análisis sintáctico de los lenguajes de programación.
Luego colaborador científico en Montreal , trabajó en la traducción automática de informes meteorológicos del inglés al francés. En este sentido, inventó los sistemas Q, un paso hacia la creación de Prolog.
Después de convertirse en profesor en la Universidad del Mediterráneo Aix-Marseille II , continuó su trabajo en el procesamiento informático del lenguaje, en particular las gramáticas de la metamorfosis . Desarrolló el lenguaje Prolog con su colega Philippe Roussel desde 1972, formando así la base de la programación lógica .
Hacia 1980, es una de las principales consultoras japonesas del proyecto informático de quinta generación , lo que llevaría al diseño del Prólogo Concurrente de Ehud Shapiro .
Luego creó Prolog III, luego, interesándose cada vez más en la programación de restricciones , Prolog IV (1996) y la programación lógica bajo restricciones.
Luego estudia cuestiones más teóricas sobre la cuantificación de la lógica de primer orden.
El murio en 12 de mayo de 2017en Marsella .
Premios
- Pomme d'Or for French Software en 1982, premio otorgado por Apple France por la implementación de Prolog II en un Apple II , premio compartido con Henry Kanoui y Michel Van Caneghem.
- 1984 Premio del Consejo Regional de Provenza-Alpes-Costa Azul .
- 1985 Premio Michel Monpetit , otorgado por la Academia de Ciencias.
-
Caballero de la Legión de Honor en 1986. - Miembro asociado de la Asociación Americana de Inteligencia Artificial 1991.
- Corresponsal (editor asociado) de la Academia de Ciencias en la sección de Matemáticas.
Publicaciones
- Alain Colmerauer, Henry Kanoui y Michel Van Caneghem, Bases teóricas de Prolog y desarrollos actuales , Techniques et Science Informatiques, vol. 2, n o 4, 1983.
- (en) Frédéric Benhamou, Alain Colmerauer, Programación de Constraint Logic, Investigación seleccionada. , Prensa del MIT , 1993
Bibliografía
- Jacques Cohen: “ Un tributo a Alain Colmerauer ”, TPLP , vol. 1, n o 6,2001, p. 637-646 ( leer en línea )
Notas y referencias
- (en) J. Cohen , " Una vista de los orígenes y desarrollo de Prolog " , Comunicaciones de la ACM , Nueva York, Asociación de Maquinaria de Computación, vol. 31, n o 1,1988, p. 26-36 ( ISSN 0001-0782 , leer en línea ).
- F. Giannesini et al., Prolog , Interéditions,1985, 318 p. ( ISBN 2729600760 ).
- con aplicación al compilador Algol 60 de CAE 510
- Computadora de quinta generación
- "Prolog es huérfano" , en binaire.blog.lemonde.fr , 18 de mayo de 2017.
enlaces externos
- Registros de autoridad :
- Avisos en diccionarios generales o enciclopedias : Encyclopædia Britannica • Quién es quién en Francia
- Sitio oficial