Fondé sur le calcul des prédicats et la logique de 1er ordre, ainsi que sur le paradigme de la programmation déclarative, Prolog est un langage de programmation créé par Alain Colmerauer à Marseille dans les années 1970.
Plus qu’un langage, Prolog est un véritable outil d’Intelligence Artificielle : en s’intéressant au raisonnement, Prolog a posé les bases de la Programmation Logique et a fortement contribué au développement de l’IA symbolique et des systèmes-experts. Initialement conçu pour le traitement des langages naturels, Prolog a ensuite été étendu aux problèmes combinatoires et a donné naissance à la Programmation Par Contraintes, une des techniques de la Recherche Opérationnelle.
Pour en savoir plus sur l’histoire de Prolog, qui fête son cinquantième anniversaire en 2022, nous vous invitons à regarder ce documentaire qu’EURODECISION est très fière d’avoir soutenu et sponsorisé.
Visionner le documentaire « Alain Colmerauer, l’aventure Prolog »