Programmation logique

  • 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:

  • Dérivé de PROgrammation en LOGique
  • Né en 1972
  • Basé sur la logique des prédicats
  • Un programme Prolog se compose d’un ensemble de faits (affirmations simples) et règles (qui servent à affirmer la véracité d’un fait basé sur d’autres).
  • L’ensemble des faits d’un programme équivaut à avoir une base de données qu’on appelle « base de connaissances ».



Last modified: Tuesday, 26 December 2023, 1:51 PM