Qu'est-ce que la programmation déclarative?

La programmation déclarative est un moyen de spécifier ce qu'un programme devrait faire, plutôt que de spécifier comment le faire.La plupart des langages informatiques sont basés sur les étapes nécessaires pour résoudre un problème, mais certaines langues n'indiquent que les caractéristiques essentielles du problème et la laissent à l'ordinateur pour déterminer la meilleure façon de résoudre le problème.Les premiers langues soutiendraient la programmation impérative tandis que les seconds prennent en charge la programmation déclarative.

On peut considérer l'exemple suivant de SQL pour obtenir toutes les régions de vente où le profit dépasse un certain nombre, disons, 700 $ US (USD), à partir des personnes à partir des personnes à partir des du profitDonnées de vente.

Sélectionner la région, profit des ventes où le profit gt;700

Cette instruction n'indique pas ce que le système SQL doit faire pour obtenir les données.Le système SQL peut passer par chaque enregistrement de vente et déterminer si la condition est satisfaite, ou peut rapidement obtenir les quelques enregistrements supérieurs à partir de données préorties.L'énoncé indique uniquement la nature des données souhaitées.

Prolog est un langage de programmation déclaratif qui indique les relations logiques entre les entités.

ancêtre (M, C): - Mère (M, C)
Ancesseur (x, z): - Mère (x, y), ancêtre (y, z)

Le programme ci-dessus indique des truismes.Si m est la mère de C, alors m est un ancêtre de C. Si x est la mère d'une personne y qui est un ancêtre de Z, alors x est un ancêtre de Z. Compte tenu de ce fait et certains faits mère-enfant, le programmePeut répondre à des questions sur l'ensemble de l'arbre généalogique maternel.

Pendant l'exécution du programme, le système PROLOG prépare un certain nombre de relevés réels, créant ainsi une base de connaissances.Cette base de connaissances est recherchée efficacement seule.Le créateur du programme ci-dessus ne spécifie pas comment rechercher.

HTML et CSS sont des langages de programmation déclaratifs.Par exemple, l'exemple HTML lt; bordure de table ' 1 gt; , indique une bordure fine.Un exemple CSS est Couleur: bleu .Cela spécifie la couleur du texte.Comme on peut le voir dans ces exemples, HTML et CSS spécifient ce qui devrait apparaître sur une page Web, mais pas comment le faire. L'avantage des langages de programmation déclaratif est principalement double.Les programmes sont concis;Cela facilite même les non-programmeurs d'obtenir des solutions.Dans l'exemple SQL ci-dessus, un analyste ou une personne de soutien commercial peut obtenir les informations souhaitées.De même, les lieux peuvent écrire des pages Web acceptables avec des commandes HTML et CSS simples. Le deuxième avantage du modèle de programmation déclaratif est que le code impératif répétitif qui indique comment résoudre les choses est fourni dans le système informatique dans les coulisses.Un tel code peut être rendu très efficace et peut incorporer les meilleures idées de l'informatique.Il peut profiter du parallélisme.