« Programmes logiques » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (4 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== | ==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]]''' | |||
==Français== | |||
''' programmes logiques''' | |||
==Anglais== | |||
''' logic programs''' | |||
'''Logic programming''' | |||
''' | |||
'''LP''' | |||
''' | |||
==Sources== | |||
[https:// | [https://fr.wikipedia.org/wiki/Programmation_logique 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
