Programmazione dichiarativa

La programmazione dichiarativa è un paradigma di programmazione per computer in cui lo sviluppatore definisce ciò che il programma dovrebbe realizzare piuttosto che definire esplicitamente come dovrebbe farlo. Questo approccio si presta naturalmente alla definizione programmatica di sistemi logici formali, ed ha il vantaggio di semplificare la programmazione di alcune applicazioni di elaborazione parallela.

Linguaggi di programmazione dichiarativi

• ASSETTO
• Absys
• Alfa
• Formica
• ASCENDERE
• Atomo
• ATS
• Brooks
• Candela
• Curry
• CLP(R)
• Arricciare
• Ciclo
• Registro dati
• DASL
• ML dipendente
• ECL
• SQL incorporato
• Erlang
• EAML
• F-Logica
• FXML
• GeneXus
• bagliore
• OBBIETTIVO
• Gofer
• GtkBuilder
• Porto
• HiLog
• HPCC
• Script JavaFX
• JModelica
• km
• agile
• TELAIO
• Lucido
• Lustro
• MetaFont
• MetaPost
• Miranda
• Modelica
• MXML
• Oz
• Padella
• Prologo
• prova
• PTQL
• .QL
• QML
• Quark Framework
• QUILL
• RDQL
• sequenzaL
• SEGNALE
• SMIL
• SPARQL
• SQL
• Logica di transazione
• Linguaggio Ontologia Web
• XBase
• XProc
• XSLT