« 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==
+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.
-== Définition ==
+voir '''[[Système de raisonnement]]'''
-Logic programs (LPs) are software programs written using programming languages whose primitives and expressions provide direct representations of constructs drawn from mathematical logic. An example of a general-purpose logic programming language is Prolog. LPs represent the direct application of logic programming to solve problems. Logic programming is characterised by highly declarative approaches based on formal logic, and has wide application across many disciplines.
-voir '''[[Système de raisonnement]]'''
+==Français==
+''' programmes logiques'''
+==Anglais==
+''' logic programs'''
-== Français ==
+'''Logic programming'''
-''' Programmes logiques'''
-== Anglais ==
+'''LP'''
-''' Logic programs'''
-<small>
+==Sources==
-[https://en.wikipedia.org/wiki/Reasoning_system     Source : Wikipedia ]
+[https://fr.wikipedia.org/wiki/Programmation_logique  Source : Wikipedia]
+[https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia]
-[[Catégorie:vocabulary]]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-[[Catégorie:vocabulaire]]