Un langage dédié à la programmation Logique et l'IA
Avez-vous déjà entendu parler du langage Prolog ? Si vous êtes élève d’une école d’ingénieur, très certainement ! Sinon… probablement que non.
Dans cet article, nous vous présentons les grandes lignes au sujet de ce langage très captivant. Cela vous donnera peut-être envie de vous appuyer sur ce langage pour sélectionner le un bon livre pour apprendre à coder dans le domaine de l’intelligence artificielle.
Prolog est un langage de programmation logique. Par ailleurs ce terme renvoie à un acronyme désignant : PROgrammation en LOGique. Ce langage est particulièrement utilisé dans le domaine de l’intelligence artificielle et de nombreux livres sont dédiés à son apprentissage.
Un langage logique et particulier
Prolog s’appuie sur un système de calcul de prédicats du premier ordre. Les concepts fondamentaux utilisés sont : l’unification, la récursivité et le retour sur trace.
L’unification est un process algorithmique qui fonctionne de la manière suivante. Si vous prenez 2 variables x et y, l’unification identifie une substitution aux à ces deux variables qui les rend identique.
La récursivité est un processus particulier qui permet à une fonction de s’appeler elle-même.
Le prolog implique l’apprentissage de systèmes et processus bien plus poussés que ces 2 exemples.
N’hésitez pas à consulter la liste des livres dédiés à l’apprentissage de l’intelligence artificielle incluant le langage Prolog.
