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 |
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) |
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 .
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 .