Artificial intelligence pioneer Alain Colmerauer passed away on May 12. Alain Colmerauer, a French computer scientist and a father of the logic programming language Prolog, passed away on May 15 at the age of 76. Alain Marie Albert Colmerauer was born in the French town of Carcassonne on Jan. 24, 1941. He earned a degree in computer science from the Institut polytechnique de Grenoble (Grenoble Institute of Technology) in 1963, and a doctorate in the discipline in 1967 from the École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble, which is part of the Institut. The newly minted doctor spent 1967–1970 as assistant professor at the University of Montreal, where he created Q-Systems, a method of directed graph transformations according to given grammar rules. Colmerauer moved to the University of Aix-Marseille at Luminy in 1970 as Professeur 2ème classe (associate professor).

After examining the simplest statements thaï can be based on a verb, a noun and an adjective, we go on to more complex statements involving articles, relative clauses and négations. Emphasis is laid on the systematic transformation ofa sentence into a semantic formula, h appears that such semantic formulae can be interpre ted correctly only in a logical system wit h three truth-values. Moreover one must suppose that the elementary relations associâted wit h the verb s, nouns and adjective s range not on individuals, but on sets of individuals.