Back برمجة منطقية Arabic Логическо програмиране Bulgarian যুক্তিভিত্তিক প্রোগ্রামিং Bengali/Bangla Logičko programiranje BS Programació lògica Catalan Logické programování Czech Logische Programmierung German Logic programming English Programación lógica Spanish Loogiline programmeerimine Estonian
Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » ().
Vous pouvez améliorer la vérifiabilité en associant ces informations à des références à l'aide d'appels de notes.
La programmation logique est une forme de programmation qui définit les applications à l'aide :
- d'une base de faits : ensemble de faits élémentaires concernant le domaine visé par l'application,
- d'une base de règles : règles de logique associant des conséquences plus ou moins directes à ces faits,
- d'un moteur d'inférence (ou démonstrateur de théorème ) : exploite ces faits et ces règles en réaction à une question ou requête.
Cette approche se révèle beaucoup plus souple que la définition d'une succession d'instructions que l'ordinateur exécuterait. 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. Elle est particulièrement adaptée aux besoins de l’intelligence artificielle, dont elle est un des principaux outils.