Accueil du site > Vie de la recherche > Actualités institutionnelles




Recherchez sur ce site


Décès d’Alain Colmerauer

C’est avec une profonde émotion que l’Institut des sciences de l’information et de leurs interactions a appris la disparition d’Alain Colmerauer le 12 mai 2017. Fondateur du Groupe d’Intelligence Artificielle de Marseille, Alain Colmerauer était l’inventeur de la programmation logique et du langage Prolog qui l’incarne.

Considéré aujourd’hui comme l’un des thèmes fondamentaux de l’informatique, Prolog a été la source de nombreux travaux de recherche sur la logique, les systèmes experts et les bases de données déductives. Directement inspirée de Prolog, la classe de langages Datalog dédiée à la manipulation de données reste aujourd’hui encore un thème de recherche toujours actif et un cadre formel utile à l’expression de la sémantique des requêtes dans les langages de bases de données. La réputation d’Alain Colmerauer est mondiale, son nom restera gravé au côté des plus grands en intelligence artificielle. La programmation logique avec Prolog continuera encore longtemps à irriguer les formations universitaires et les travaux de recherche de nombreux doctorants.