Declarative programming

Declarative programming is a programming paradigm that emphasizes the expression of the logic of a computation without specifying its control flow. It has a long history and has yielded languages such as LISP, Prolog, and other functional and logic programming languages. Declarative programming underpinned the introduction of relational databases and produced SQL, which is today's most commercially successful declarative programming language. The main difference of declarative programming is that the developer focuses on declaring the system behavior, allowing the declaration support system to find the most efficient technique to interpret and execute declarations.From: Safety, Reliability and Risk Analysis: Beyond the Horizon [2013], The Handbook of Applied Expert Systems [2019], Enhancing parallelism of distributed algorithms with the actor model and a smart data movement technique [2021]

Constraint Programming

View Chapter

Purchase Book

Published in Jay Liebowitz, The Handbook of Applied Expert Systems, 2019

Mark Wallace

Declarative programming has a long history yielding languages such as LISP, Prolog, and other purer functional and logic programming languages, and of course it underpinned the introduction of relational databases and produced SQL which, for all its faults, is today’s most commercially successful declarative programming language.

Enhancing parallelism of distributed algorithms with the actor model and a smart data movement technique

View Article

Journal Information

Published in International Journal of Parallel, Emergent and Distributed Systems, 2021

Anatoliy Doroshenko, Eugene Tulika, Olena Yatsenko

Declarative programming [2] is one of the approaches aimed at overcoming this difficulty. The main difference of declarative programming is that the developer is focusing on declaring the system behaviour, allowing the declaration support system to find the most efficient technique to interpret and execute declarations. Since the declaration support system is responsible for optimisation, the declarations cannot be universal; they are often developed for solving a specific class of problems. The development of declaration capabilities requires extensive research and implementation but later it allows to optimise and proof solutions without participation from the developer.

Declarative programming

Explore chapters and articles related to this topic

Constraint Programming

Enhancing parallelism of distributed algorithms with the actor model and a smart data movement technique