Programowanie deklaratywne to paradygmat programowania komputerowego, który programista definiuje, co program powinien osiągnąć, zamiast wyraźnie określać, jak to zrobić. Takie podejście naturalnie nadaje się do programowej definicji systemów logiki formalnej i ma tę zaletę, że upraszcza programowanie niektórych aplikacji przetwarzania równoległego.

Deklaratywne języki programowania

• ABSET
• Absys
• Alfa
• Mrówka
• WSPIĄĆ SIĘ
• Atom
• ATS
• Brooks
• Świeca
• Curry
• CLP (R)
• Kędzior
• CycL
• Datalog
• DASL
• Zależny ML
• ECL
• Wbudowany SQL
• Erlang
• EAML
• F-Logic
• FXML
• GeneXus
• Glowe
• CEL
• Gofer
• GtkBuilder
• Port
• HiLog
• HPCC
• Skrypt JavaFX
• JModelica
• KM
• Gibki
• WARSZTAT TKACKI
• Przejrzysty
• Połysk
• MetaFont
• MetaPost
• Miranda
• Modelica
• MXML
• Oz
• Patelnia
• Prolog
• Prova
• PTQL
• .QL
• QML
• Quark Framework
• LOTKA
• RDQL
• SekwencjaL
• SYGNAŁ
• SMIL
• SPARQL
• SQL
• Logika transakcji
• Język ontologii internetowej
• XBase
• XProc
• XSLT

Logika, paradygmat, języki programowania, terminy programowania