« Programmation logique » : différence entre les versions
m (Remplacement de texte — « Catégorie:Scotty2 » par « <!-- Scotty2 --> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (7 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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. | 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== | ==Français== | ||
'''programmation logique''' | '''programmation logique''' | ||
==Anglais== | ==Anglais== | ||
| Ligne 18 : | Ligne 9 : | ||
==Sources== | |||
| Ligne 25 : | Ligne 15 : | ||
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]] | [[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]] | ||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 11: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
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
