Loading timeline…
19721970s
Organizations
Aix-Marseille UniversityUniversity of Montreal
Major Achievements
- •Created PROLOG (PROgramming in LOGic) alongside Robert Kowalski.
- •Developed Metamorphosis Grammars, an early mechanism for parsing natural language using logic.
- •Established the European tradition of logic programming as an alternative to American LISP-based AI.
Key Papers
- The Birth of Prolog
Alain Colmerauer, Philippe Roussel · History of Programming Languages II · 1993