En 1972, Alain Colmerauer et son équipe à Marseille proposaient une première version du langage de programmation logique Prolog. Ce travail, enrichi par une collaboration avec Robert Kowalski de l’Université d’Edimbourg, a jeté les bases de la programmation logique d’aujourd’hui. Prolog puis la programmation par contraintes, la programmation logique probabiliste et d’autres technologies connexes sont alors devenus des outils clés de la programmation symbolique et de l’intelligence artificielle.
A l’occasion du cinquantenaire de la naissance de Prolog, l’Association Logic Programming, Prolog Heritage et la revue Artificial Intelligence, notamment, lancent le prix Alain Colmerauer qui récompensera une application conçue et développée en Prolog.
Les modalités de participation sont décrites ici : https://prologyear.logicprogramming.org/ColmerauerPrize.html
La date de soumission est fixée au 2 septembre et le prix sera remis le 10 novembre au cours du « Prolog Day Symposium » qui se déroulera à Paris au campus Saint Germain.
Plus d’info sur l’année Prolog : https://prologyear.logicprogramming.org
