« Programmes logiques » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| 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] | ||
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
