Intelligence Artificielle symbolique avec Prolog (introduction avec les familles)
Channel: Denis B.
Date: 2020-12-28

Exemple des relations familiales en ProLog.


Pourquoi Prolog est un langage de programmation un peu différent des autres (peut-être plus adapté à l'IA symbolique) ?
Comment expliquer la longévité de ce langage de programmation (parmi les programmations déclaratives) ? 


* Est-ce l'influence de la logique ?
* Est-ce la force du moteur d'inférence du modèle d'exécution ?

* Est-ce le choix des éléments de bases (unification, raisonnement par cas, récursivité) ?
* Est-ce la simplicité de la syntaxe ?


En tout cas, ProLog permet un pas de côté pour réfléchir aux langages de programmation et repenser la notion de variables, d'actions, de conditionnelles, de répétitions. Peut-être pour viser d'autres langages plus intelligents dans l'avenir qui ne se basent pas autant sur la descriptions des actions, mais aussi prennent en compte les relations et propriétés que le programmeur vise. 





Code disponible ici : https://swish.swi-prolog.org/p/matriarcat_Ingalls_YouTube.swinb