Alain Colmerauer

Q: What Schools Are Affiliated With Alain Colmerauer

Alain Colmerauer is affiliated with the following schools: Université de Montréal, Grenoble Institute of Technology, Aix-Marseille University

Alain Colmerauer's AcademicInfluence.com Rankings

Alain Colmerauer

Computer Science

#104

World Rank

#110

Historical Rank

Database

#159

World Rank

#164

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Alain Colmerauer's Degrees

PhD Computer Science Aix-Marseille University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Alain Colmerauer Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Alain Colmerauer was a French computer scientist. He was a professor at Aix-Marseille University, and the creator of the logic programming language Prolog. Early life Alain Colmerauer was born on 24 January 1941 in Carcassonne. He graduated from the Grenoble Institute of Technology, and he earned a PhD from the Ensimag in Grenoble.

(See a Problem?)

Alain Colmerauer's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

An introduction to Prolog III (1989) (697)
The birth of Prolog (1993) (280)
Equations and Inequations on Finite and Infinite Trees (1984) (263)
Metamorphosis Grammars (1978) (215)
About Natural Logic (1979) (122)
Opening the Prolog III universe (1987) (121)
Constraint logic programming: selected research (1993) (113)
Prolog in 10 figures (1983) (86)
Total Precedence Relations (1970) (37)
Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees (2003) (31)
Naive Solving of Non-linear Constraints (1993) (24)
Narrowing a 2 n -block of sortings in O ( n log n ) (1997) (19)
Last Steps Towards an Ultimate PROLOG (1981) (17)
Narrowing a 2n-block of sortings in O (n logn) (1997) (16)
Optimal Narrowing of a Block of Sortings in Optimal Time (2004) (15)
W-grammar (1969) (12)
Narrowing a Block of Sortings in Quadratic Time (1997) (9)
Une introduction à Prolog III (1989) (8)
Prolog in Ten Figures (1983) (7)
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees (2000) (5)
Solving the Multiplication Constraint in Several Approximation Spaces (2001) (5)
On the Complexity of Universal Programs (2004) (3)
Demonstrating PROLOG on APPLE II (1981) (1)
Back to the Complexity of Universal Programs (2008) (1)
Prolog III as it Actually Is (1990) (0)
Curriculum Vitæ of Alain Colmerauer ∗ January 1999 Personal data (0)
Fe b 20 04 A Tribute to (2008) (0)
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees (2002) (0)

This paper list is powered by the following services:

Other Resources About Alain Colmerauer

What Schools Are Affiliated With Alain Colmerauer?

Alain Colmerauer is affiliated with the following schools:

Alain Colmerauer's Academic­Influence.com Rankings