« Programmation logique » : différence entre les versions

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

Définition

Utilisé en intelligence artificielle programmation logique est un paradigme de programmation essentiellement basé sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de formules logiques, exprimant des faits et des règles sur un problème que l'on cherche à résoudre. Ces faits et ces règles sont manipulés par un démonstrateur de théorème ou moteur d'inférence, qui cherche à répondre à une question ou requête. Les principales familles de langages de programmation logique sont Prolog, PLANNER, Answer set programming (ASP) et Datalog.

Français

programmation logique

Anglais

Logic programming

Sources

Source: Wikipedia

source : Claude Coulombe, Datafranca.org

@@ Ligne 1 : / Ligne 1 : @@
-== Domaine ==
+==Définition==
-[[Category:Intelligence artificielle]]Intelligence artificielle<br>
+Utilisé en intelligence artificielle programmation logique est un paradigme de programmation essentiellement basé sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de formules logiques, exprimant des faits et des règles sur un problème que l'on cherche à résoudre. Ces faits et ces règles sont manipulés par un démonstrateur de théorème ou moteur d'inférence, qui cherche à répondre à une question ou requête. Les principales familles de langages de programmation logique sont Prolog, PLANNER, Answer set programming (ASP) et Datalog.
-[[Category:Langage de programmation]]Langage de programmation<br>
-[[Category:Programmation logique]]Programmation logique<br>
+==Français==
-[[Category:Résolution de problèmes]]Résolution de problèmes<br>
+'''programmation logique'''
-[[Category:Coulombe]]
-[[Catégorie:Scotty]]
-== Définition ==
+==Anglais==
+''' Logic programming '''
-Utilisé en intelligence artificielle programmation logique est un paradigme de programmation essentiellement basé sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de formules logiques, exprimant des faits et des règles sur un problème que l'on cherche à résoudre. Ces faits et ces règles sont manipulés par un démonstrateur de théorème ou moteur d'inférence, qui cherche à répondre à une question ou requête. Les principales familles de langages de programmation logique sont Prolog, PLANNER, Answer set programming (ASP) et Datalog.
+==Sources==
-== Français ==
+[https://fr.wikipedia.org/wiki/Programmation_logique Source: Wikipedia]
-'''programmation logique'''
-== Anglais ==
-''' Logic programming '''
+[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]]
- [https://fr.wikipedia.org/wiki/Programmation_logique    Source: Wikipedia  ]
+[[Category:GRAND LEXIQUE FRANÇAIS]]