« Programmes logiques » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 14 : | Ligne 14 : | ||
'''LP''' | '''LP''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Programmation_logique Source : Wikipedia] | [https://fr.wikipedia.org/wiki/Programmation_logique Source : Wikipedia] | ||
| 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]] | ||
Dernière version du 28 janvier 2024 à 12:27
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
Sources
Contributeurs: Imane Meziani, wiki
