In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow. Many languages applying this style attempt to minimize or eliminate side effects by describing what the program should accomplish, rather than describing how to go about accomplishing it. This is in contrast with imperative programming, which requires an explicitly provided algorithm.

Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht. Der Lösungsweg wird dann automatisch ermittelt. Zu den deklarativen Programmiersprachen gehören:

• funktionale Sprachen (z. B. LISP, ML, Miranda, Gofer, Haskell, Erlang)
• logische Sprachen (z. B. Prolog)
• funktional-logische Sprachen (z. B. Babel, Escher, Curry, Oz)
• Datenflusssprachen (z. B. Val oder Linda)
• Synchrone Programmiersprachen (z. B. Lustre)
• Aufbauwerkzeuge (z. B. make oder Ant)
• Transformationssprachen (z. B. XSLT)
• Abfragesprachen (z. B. SQL)

La programmation déclarative est un paradigme de programmation. Il consiste à créer des applications sur la base de composants logiciels indépendant du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel.

Deklarativ programmering är samlingsnamnet för funktionell programmering och logikprogrammering. Dessa utmärks av att program innehåller deklarationer av funktioner definierade i termer av varandra, och företrädesvis är rekursiva. En programkörning är en beräkning av ett uttryck. Den dator som sist och slutligen utför beräkningen är bortabstraherad.