« Programmes logiques » : différence entre les versions

Dernière version du 28 janvier 2024 à 12:27

Définition

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.

voir Système de raisonnement

Français

programmes logiques

Anglais

logic programs

Logic programming

LP

Sources

Source : Wikipedia

@@ Ligne 1 : / Ligne 1 : @@
-==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.
+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.
 voir '''[[Système de raisonnement]]'''
 ==Français==
-''' Programmes logiques'''
+''' programmes logiques'''
 ==Anglais==
-''' Logic programs'''
+''' logic programs'''
+'''Logic programming'''
+'''LP'''
-<small>
+==Sources==
 [https://fr.wikipedia.org/wiki/Programmation_logique  Source : Wikipedia]
@@ Ligne 27 : / Ligne 20 : @@
 [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia]
-[[Catégorie:vocabulary]]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-[[Catégorie:vocabulaire]]