Alain Colmerauer

Alain Colmerauer Bild in der Infobox. Biografie
Geburt 24. Januar 1941
Carcassonne
Tod 12. Mai 2017(bei 76)
Marseille
Geburtsname Alain Marie Albert Colmerauer
Staatsangehörigkeit Französisch
Ausbildung Grenoble Polytechnic Institute
Aktivitäten Informatiker , Ingenieur , Universitätsprofessor
Andere Informationen
Arbeitete für Universität von Montreal , Universität von Aix-Marseille
Feld Informatik
Mitglied von Akademie der Wissenschaften
Webseite alain.colmerauer.free.fr
Unterscheidung Michel-Monpetit-Preis (1985)
Primärarbeiten
Prolog

Alain Colmerauer ist Computeringenieur , Doktor der Informatik und geborener französischer Universitätsprofessor 24. Januar 1941in Carcassonne und starb am12. Mai 2017in Marseille .

Er ist der Initiator der Programmiersprache Prolog .

Werdegang

Alain Colmerauer, Absolvent des Ensimag , verteidigt in Grenoble eine Staatsthese zur syntaktischen Analyse von Programmiersprachen.

Als wissenschaftlicher Mitarbeiter in Montreal arbeitete er an der automatischen Übersetzung von Wetterberichten aus dem Englischen ins Französische. In dieser Hinsicht erfand er die Q-Systeme, ein Schritt zur Schaffung von Prolog.

Nachdem er Professor an der Universität des Mittelmeers in Aix-Marseille II geworden war , setzte er seine Arbeit in der Computerverarbeitung der Sprache fort, insbesondere der Grammatik der Metamorphose . Ab 1972 entwickelte er mit seinem Kollegen Philippe Roussel die Prolog- Sprache und bildete so die Grundlage für die Logikprogrammierung .

Bis 1980 ist es einer der größten japanischen Berater, der Computer der fünften Generation projektiert , was zum Entwurf des Concurrent Prolog von Ehud Shapiro führen würde .

Anschließend schuf er Prolog III, der sich zunehmend für Constraint-Programmierung , Prolog IV (1996) und Logikprogrammierung unter Constraints interessierte .

Anschließend untersucht er theoretischere Fragen zur Quantifizierung der Logik erster Ordnung.

Er starb an 12. Mai 2017in Marseille .

Auszeichnungen

Veröffentlichungen

Literaturverzeichnis

Anmerkungen und Referenzen

  1. (in) J. Cohen , "  Ein Blick auf die Ursprünge und die Entwicklung von Prolog  " , Mitteilungen der ACM , New York, Association for Computing Machinery, vol.  31, n o  1,1988, p.  26-36 ( ISSN  0001-0782 , online lesen ).
  2. F. Giannesini et al., Prolog , Interéditions,1985318  p. ( ISBN  2729600760 ).
  3. mit Anwendung auf den Algol 60- Compiler von CAE 510
  4. Computer der fünften Generation
  5. "Prolog ist verwaist" , auf binaire.blog.lemonde.fr , 18. Mai 2017.

Externe Links