« Programmes logiques » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 20 : | Ligne 20 : | ||
[https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia] | [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 27 octobre 2021 à 09:20
Définition
Programmes logiciels écrits à l'aide de langages de programmation dont les primitives et les expressions fournissent des représentations directes de constructions tirées de la logique mathématique. Prolog est un exemple de langage de programmation logique à usage général.
Français
programmes logiques
Anglais
logic programs
Logic programming
LP
Contributeurs: Imane Meziani, wiki
