programmation déclarative
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Mode de programmation utilisant un langage d'expression des connaissances évolué sous la forme de propositions ayant une valeur logique (vrai ou faux).
Notes :
((Cette)) forme de programmation ne se préoccupe que d'écrire des énoncés, l'enchaînement de ceux-ci étant réglé à un autre niveau. Cette façon de faire permet à un utilisateur de lire, compléter, réviser facilement un ensemble d'informations. La programmation logique est un exemple de programmation déclarative.
Le langage Prolog supporte directement la programmation déclarative.
Terme privilégié :
- programmation déclarative n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- declarative programming