« Programmes logiques » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 22 : | Ligne 22 : | ||
<small> | <small> | ||
[https://fr.wikipedia.org/wiki/Programmation_logique Source : Wikipedia] | |||
[https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia] | [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia] | ||
Version du 15 mars 2021 à 20:36
en construction
Définition
Les programmes logiques (LP) sont des programmes logiciels écrits à l'aide de langages de programmation dont les primitives et les expressions fournissent des représentations directes de constructions tirées de la logique mathématique. Prolog est un exemple de langage de programmation logique à usage général.
Les LP représentent l'application directe de la programmation logique pour résoudre des problèmes. La programmation logique est caractérisée par des approches hautement déclaratives basées sur une logique formelle et a une large application dans de nombreuses disciplines.
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.
Français
Programmes logiques
Anglais
Logic programs
Contributeurs: Imane Meziani, wiki
