Alain Colmerauer
Alain Colmerauer’s work helped establish logic programming as a way to express computation. His research connects language processing, Prolog, and constraint-solving methods. Colmerauer moved to Montreal after his Grenoble doctorate around 1967. There he developed Q-systems for rule-based transformations used in language processing. After returning to Marseille, Colmerauer worked with Philippe Roussel and collaborated with Robert Kowalski and the Edinburgh group. Their work joined theorem proving and language research in the development of Prolog.
- Works
- 46
- Citations
- 1,794
- h-index
- 16
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1967–1970
Language research in Montreal
Colmerauer moved to Montreal after his Grenoble doctorate around 1967. There he developed Q-systems for rule-based transformations used in language processing.
-
1970s
The development of Prolog
After returning to Marseille, Colmerauer worked with Philippe Roussel and collaborated with Robert Kowalski and the Edinburgh group. Their work joined theorem proving and language research in the development of Prolog.
-
1980s
Extending logic programming
Prolog II extended Colmerauer’s language-design work. His work covered both logic programming and constraint logic programming.
-
1991
Research recognition
AAAI elected Alain Colmerauer as a Fellow in 1991.
Sources and credits
Photo: Alaindavid2, via Wikimedia Commons. License: CC BY-SA 4.0. Source: commons.wikimedia.org. Cropped to a square and resized. Ask us to remove or replace this photo.
