« Programmation logique » : différence entre les versions

Version du 31 décembre 2018 à 15:47

Domaine

Définition

Français

Anglais

Logic programming

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:

and are read declaratively as logical implications:

Version du 28 février 2018 à 23:07 (voir la source) Pitpitt (discussion \| contributions) (Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === Logic programming === Logic programming is a type of... »)		Version du 31 décembre 2018 à 15:47 (voir la source) Pitpitt (discussion \| contributions) m (Remplacement de texte — « Termes privilégiés » par « Français ») Modification suivante →
Ligne 8 :		Ligne 8 :


	== ~~Termes privilégiés~~ ==		== Français ==