Deklaratiivinen ohjelmointi on tietokoneohjelmointiparadigma, jonka kehittäjä määrittelee sen, mitä ohjelman pitäisi saavuttaa sen sijaan, että määritettäisiin nimenomaisesti, miten sen pitäisi tapahtua. Tämä lähestymistapa soveltuu luonnollisesti muodollisten logiikkajärjestelmien ohjelmalliselle määrittelylle, ja sillä on etu yksinkertaistaa joidenkin rinnakkaisten käsittelysovellusten ohjelmointia.

Ilmoitettavat ohjelmointikielet

• ABSET
• ABSYS
• alfa
• Muurahainen
• NOUSTA
• Atomi
• ATS
• Brooks
• Kynttilä
• Curry
• CLP (R)
• Kiemura
• CYCL
• Tiedonkeruu
• DASL
• Riippuvainen ML
• ECL
• Sulautettu SQL
• Erlang
• EAML
• F-Logic
• FXML
• GeneXus
• Glowe
• GOAL
• Gofer
• GtkBuilder
• Satama
• HiLog
• HPCC
• JavaFX Script
• JModelica
• KM
• Notkea
• KANGASPUUT
• Selkeä
• Kiilto
• MetaFont
• metapost
• Miranda
• MODELICAn
• MXML
• oz
• Panoroida
• prologi
• prova
• PTQL
• .QL
• QML
• Quark Framework
• SULKAKYNÄ
• RDQL
• SequenceL
• SIGNAALI
• SMIL
• SPARQL
• SQL
• Transaktiologiikka
• Web-ontologian kieli
• XBase
• xproc
• XSLT

Logiikka, paradigma, ohjelmointikielet, ohjelmointitermit