Programmes logiques
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
