[1] Alain Marie Albert Colmerauer estudió en el Instituto Politécnico de Grenoble Ensimag.
[3][4] Tras una estancia científica en Montreal, trabajó sobre los sistemas de traducción automática, en especial del inglés al francés.
Inventó el llamado sistema Q, primer paso hacia el nacimiento del lenguaje Prolog.
A continuación, creó Prolog III y, más tarde, centrándose cada vez más en la programación con restricciones, Prolog IV (1996) y la lógica de la programación con restricciones.
Estudió luego cuestiones más teóricas en relación con la informática cuántica y la lógica del primer orden.