Das deklarative Programmierparadigma beschreibt einen Programmierstil, bei dem der Programmierer beschreibt, was das Programm tun soll, ohne den genauen Ablauf (das Wie) festzulegen. Das Gegenteil ist das imperative Paradigma, bei dem Schritt für Schritt vorgegeben wird, wie ein Ergebnis berechnet wird. Typische Vertreter der deklarativen Programmierung sind SQL (Datenbankabfragen) und funktionale Sprachen wie Haskell; deklarativ ist auch die Auszeichnungssprache HTML, die aber keine Programmiersprache ist. Deklarativer Code ist oft kürzer und leichter zu verstehen.