« Programmes logiques » : différence entre les versions
(Page créée avec « ==en construction== == Définition == Logic programs (LPs) are software programs written using programming languages whose primitives and expressions provide direct repre... ») |
(Aucune différence)
|
Version du 15 mars 2021 à 21:17
en construction
Définition
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.
Français
Programmes logiques
Anglais
Logic programs
Contributeurs: Imane Meziani, wiki