Deklaratiivinen ohjelmointi

Deklaratiivinen ohjelmointi on ohjelmointiparadigma, joka on imperatiivisen ohjelmoinnin vastakohta.

Deklaratiivisessa ohjelmoinnissa ongelma ratkaistaan esittämällä haluttu ratkaisu tai tila varsinaisen algoritmin sijaan. Myös termiä  käytetään tämän tyyppisestä ohjelmoinnista.

Deklaratiivisen ohjelmoinnin kehitykseen on vaikuttanut muun muassa tekoälytutkimus.

Kyselykielet kuten relaatiotietokantojen SQL ja XQuery ovat yleisimpiä deklaratiivisia kieliä. Myös säännöllisen lausekkeen () kielet ovat deklaratiivisia.

Deklaratiivisessä kielessä monet imperatiivisen ohjelmointikielen tyypilliset piirteet puuttuvat tai ne ovat implisiittisiä. 

Esimerkkejä SQL-kielen avulla eroavaisuuksista:
 tietorakenne kyselyn tulosjoukolle voi olla väliaikainen taulu (riippuen toteutuksesta)
 toistolausekkeen sijaan WHERE-ehdolla määritellään alijoukko johon operaatio kohdistetaan
 I/O-toimintoja ei pääsääntöisesti ole (työkalusovellus tekee tämän)

Poikkeuksena ylläolevasta tietokantaproseduurit, joita tehdään esimerkiksi PL/SQL kielellä.

Funktionaalinen ohjelmointi voidaan käsittää deklaratiivisen ohjelmoinnin lajikkeeksi.

Lähteet

Aiheesta muualla 
 Swift 3 ohjelmointikieli

Ohjelmointiparadigmat