« Programmation logique » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(21 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==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.


== Domaine ==
==Français==
[[Category:Vocabulary]]
'''programmation logique''' 
   
   
== Définition ==
==Anglais==
''' Logic programming '''




==Sources==


== Français ==


[https://fr.wikipedia.org/wiki/Programmation_logique Source: Wikipedia]
== Anglais ==
 
''' Logic programming '''


[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]]


Logic programming is a type of programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, Answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:




<br/>
[[Category:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

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

Source: Wikipedia

source : Claude Coulombe, Datafranca.org

Récupérée de « https://datafranca.org/wiki/index.php?title=Programmation_logique&oldid=91400 »

Contributeurs: Claude Coulombe, Jacques Barolet, wiki