programmazione dichiarativa è un modo di specificare che cosa dovrebbe fare un programma, invece di specificare come farlo. La maggior parte dei linguaggi di programmazione sono basati su i passi necessari per risolvere un problema, ma solo alcune lingue indicare le caratteristiche essenziali del problema e lasciare al computer per determinare il modo migliore per risolvere il problema. Le lingue si dice l'ex di sostegno alla programmazione imperativa considerando che il sostegno quest'ultimo di programmazione dichiarativa.
Si può considerare il seguente esempio da SQL per ottenere tutte le regioni in cui le vendite di profitto supera un certo numero, per esempio, 700 $ US Dollars ( USD), dai dati di vendita. Seleziona Regione, utili da vendita in cui Profit> 700 Questa affermazione non indica ciò che il sistema di SQL ha a che fare, al fine di ottenere i dati. Il sistema di SQL può passare attraverso ogni record di vendita e di determinare se la condizione è soddisfatta, oppure, si può ottenere rapidamente la Top Records pochi dai dati innanzitutto selezionate. La dichiarazione indica solo la natura dei dati desiderati. Prolog è un linguaggio dichiarativo di programmazione che indica le relazioni logiche tra le entità. antenato (M, C):-madre (M , C)antenato (X, Z):-madre (X, Y), antenato (Y, Z) Il programma di cui sopra indica banalità. Se M è la madre di C allora M è un antenato di C. Se X è la madre di una persona che Y è un antenato di Z, allora X è un antenato di Z. Tenuto conto di questa e di alcuni fatti madre-bambino, il programma può rispondere a domande circa l'albero di tutta la famiglia materna. Durante l'esecuzione del programma, il sistema Prolog costruisce una serie di affermazioni vere, creando così una base di competenze. Questo knowledgebase è cercato in modo efficiente il proprio. Il creatore del programma di cui sopra non specificare le modalità di ricerca. HTML e CSS sono i linguaggi di programmazione dichiarativa. Per esempio, l'esempio HTML
