Prolog : un langage mature mais sous-estimé pour de l’IA symbolique !

Prolog fait partie de ces langages qui promeuvent, tout comme les langages fonctionnels, une autre façon de programmer : l’approche déclarative. Plutôt que de donner la procédure à suivre pour un calcul, une recette, on décrit les propriétés du résultat et le système fait le reste. Grâce à la logique du premier ordre et plus particulièrement aux clauses de Horns, l’expression d’un problème est faite via l’écriture de règles. Au cœur se trouve le principe d’unification qui est la clé de voute du système introduisant de facto la notion d’héritage ou/et de synthèse de valeurs.

Tout cela semble obscur ? Et pourtant, à son apogée, Prolog fût un champs de recherche fécond, un langage de choix pour ce que l’on appelait les ordinateurs de cinquième génération dans les années 90, pour l’IA ou le traitement du langage naturel.

Avec l’avènement des I.A. probabilistes, redécouvrir ce langage hors norme permet d’avoir une approche différente voire complémentaire pour l’élaboration de systèmes déductifs. Nous vous proposons donc de découvrir (ou redécouvrir pour les plus chevronnés) aujourd’hui Prolog.