Intelligence Artificielle

• La programmation logique est une variété de ce que nous connaissons avec la programmation déclarative, un paradigme opposé à pratiquement tous les langages de programmation populaires tel que l’assembleur, C, Java ou Python qui font partie de la programmation impérative.
• La programmation logique est considérée comme une programmation déclarative plutôt qu’impérative, car elle s'attache davantage au quoi qu'au comment, le moteur assumant une large part des enchaînements.
• Particulièrement adaptée aux besoins de l’intelligence artificielle, dont elle est un des principaux outils.
• Ce paradigme est basé sur la formule “algorithmes = logique + contrôle” (l’équation informelle de Kowalski), ce qui signifie qu’un algorithme est créé en spécifiant des connaissances par des axiomes (logique) et que le problème est résolu par un mécanisme d’inférence qui agit sur lui (contrôle).
• Parmi les langages de programmation logique on peut mettre en évidence Prolog, Lisp ou Erlang.

PROLOG: