« Programmes logiques » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
==en construction== | ==en construction== | ||
== Définition == | ==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 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. | 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. | |||
voir '''[[Système de raisonnement]]''' | voir '''[[Système de raisonnement]]''' | ||
== Français == | ==Français== | ||
''' Programmes logiques''' | ''' Programmes logiques''' | ||
== Anglais == | ==Anglais== | ||
''' Logic programs''' | ''' Logic programs''' | ||
<small> | <small> | ||
[https://en.wikipedia.org/wiki/Reasoning_system | [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia] | ||
[[Catégorie:vocabulary]] | [[Catégorie:vocabulary]] | ||
[[Catégorie:vocabulaire]] | [[Catégorie:vocabulaire]] | ||
Version du 15 mars 2021 à 21:35
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
