Die
deklarative Programmierung ist ein
Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht. Der Lösungsweg wird dann automatisch ermittelt. Im Gegensatz zur
imperativen Programmierung, bei der das
Wie im Vordergrund steht, fragt man in der deklarativen Programmierung nach dem
Was, das berechnet werden soll. Bekannte Vertreter deklarativer Programmiersprachen sind
Haskell,
Lisp,
Prolog,
XAML und im weiteren Sinne auch
SQL und
XSLT. Den deklarativen Sprachen stehen die weiter verbreiteten imperativen Sprachen wie
C,
C++ oder
Java gegenüber.