Bei der deklarativen Programmierung wird das ältere Paradigma der imperativen Programmierung umgekehrt. Das Programm beschreibt nicht mehr länger, was getan werden soll, sondern nur noch welches Ergebnis am Ende stehen soll. Es bleibt dann dem Programm überlassen, sich mit Hilfe entsprechender Algorithmen den korrekten Lösungsweg zu suchen. Programmierparadigmen die diesem Prinzip folgen sind die funktionale Programmierung und die logische Programmierung.