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)