« Programmes logiques » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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. | |||
voir '''[[Système de raisonnement]]''' | voir '''[[Système de raisonnement]]''' | ||
==Français== | ==Français== | ||
''' | ''' programmes logiques''' | ||
==Anglais== | ==Anglais== | ||
''' Logic | ''' logic programs''' | ||
'''Logic programming''' | |||
'''LP''' | |||
<small> | <small> | ||
| Ligne 27 : | Ligne 20 : | ||
[https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia] | [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia] | ||
[[Catégorie: | [[Catégorie:publication]] | ||
Version du 26 octobre 2021 à 22:52
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
