Programmation déclarative
Un article de Wikipédia, l'encyclopédie libre.
Vous avez de  |
Cet article est une ébauche à compléter concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |
 |
| Cet article fait partie de la série Langages de programmation |
| Langages à objets |
| C++ - C# Delphi - Eiffel - Java Groovy - Python - Ruby Simula - Smalltalk Visual Basic - WinDev |
| Langages impératifs |
| APL - ASP - Assembleur BASIC - C - Cobol Forth - Fortran - Logo Pascal - Limbo - Perl - PHP |
| Langages fonctionnels |
| Haskell - ML/OCaml Lisp/Common Lisp Scheme XSLT |
| Langages déclaratifs |
| Clips - Prolog |
| Langages concurrents |
| Ada 95 - Erlang |
| Langage de balisage |
| HTML - SGML - XML S-expressions |
| Voir aussi |
| Conception - Codage Tests - Optimisations |
Dans la programmation déclarative, on décrit d'une part la situation d'un problème, ce qui correspond aux données et les contraintes sur ces données, ce qui correspond à la partie programme.
Ensuite on pose une question, le but. Le programme cherche à répondre à la question à partir de la situation en respectant les contraintes.
Prolog (pour programmation logique), ou SQL (Structured Query Language) sont des langages de programmation déclaratif les plus connus.
