Llinguaxe de programación declarativu
De Uiquipedia
Un llinguaxe de programación declarativu ye un llinguaxe de programación nel que, a diferencia de lo que aporta n'otros llinguaxes de programación, como los llinguaxes imperativos, nun se diz pasu por pasu lo que l'ordenador tien que facer (comu nun algoritmu), sinon que sólo se diz comú ye'l problema o qué se ta buscando, y l'ordenador fai el restu'l trabayu. Pue dicise que nun llinguaxe declarativu dizse-y al ordenador qué tien que facer, pero non cómo tien que algamar la solución.
De cutio, un llinguaxe declarativu va arreyáu a un motor: otru programa que, entepretando el programa escritu'n llinguaxe declarativu, ye el que braeramente fai el trabayu (y ye el que s'ocupa del cómo).
Dalgunos exemplos de llinguaxes declarativos son el SQL, les espresiones regulares, Prolog o Haskell.