prolog

Si t’as fait un peu d’IA dans tes études, t’as forcément croisé Prolog.
Et t’as probablement détesté.

Parce que Prolog, c’est pas un langage comme les autres.

Années 70 :

Les bases de données explosent, l’IA commence à pointer son nez.

Le problème ? Les langages classiques comme FORTRAN, C ou COBOL sont trop procéduraux.
Tu dois leur dire comment faire les choses, étape par étape.

Mais en intelligence artificielle et en bases de données complexes, c’est pas l’idéal.
On veut plutôt décrire ce qu’on veut et laisser la machine se débrouiller.

C’est là qu’en 1972, des chercheurs en logique formelle, Colmerauer et Kowalski, inventent Prolog.
L’idée ? Faire un langage basé sur la logique mathématique, au lieu d’une suite d’instructions classiques.

Résultat :

Prolog ne fonctionne pas comme les autres langages.

Tu ne dis pas à la machine quoi faire.
Tu déclares des faits et des règles, et après… tu poses des questions au programme.

Exemple :

parent(jean, paul).
parent(paul, luc).

grandparent(X, Y) :- parent(X, Z), parent(Z, Y).

Et après, tu peux demander : “Jean est-il le grand-parent de Luc ?”
Et Prolog te répond “Oui.”

C’est un langage déclaratif, pas impératif.
Tu décris le problème, Prolog trouve la solution.

Pourquoi Prolog a cartonné (pendant un temps) ?

✅ Idéal pour l’intelligence artificielle et les bases de connaissances.
✅ Parfait pour manipuler des relations complexes sans écrire des tonnes de code.
✅ Le Japon y a cru à mort : les “ordinateurs de cinquième génération” devaient reposer sur Prolog (spoiler : ça n’a pas marché).

Pourquoi Prolog est tombé dans l’oubli ?

❌ C’est pas naturel pour les devs classiques (Python/C/Java → 💥 cerveau).
❌ Lent sur de gros volumes de données.
❌ Difficile à maintenir sur des projets complexes.

Et aujourd’hui ?

Prolog survit dans quelques niches :

🧠 Le raisonnement logique en IA
🗣 Analyse de langage naturel
🔒 Vérification formelle de programmes

Mais soyons honnêtes, si quelqu’un te propose un projet en Prolog en 2025…
👉 Cours.

👉 Et toi, t’as déjà croisé du Prolog ? T’as compris ou t’as pleuré ? 😅