Declarative programming

Declarative programming is an approach to computer programming that involves the creation of a set of conditions that describe a solution space, but leaves the interpretation of the specific steps needed to arrive at that solution up to an unspecified interpreter. Declarative programming thus takes a different approach from the traditional imperative programming found in Fortran, C or Pascal which requires the programmer to provide a list of instructions to execute in a specified order.

In other words, declarative programming provides the what, but leaves the how up to interpretation. Advantages of this approach are that

it isolates the complex problem solving for the interpreter,
it helps avoid the Reinventing the wheel anti-pattern (i.e. one interpreter written years ago can apply its logic to a wide variety of declarative specifications),
it allows for re-use/re-interpretation in different contexts (e.g. different language bindings for IDL), and
it centralizes and condenses the problem definition thereby making for more comprehensible coding practices.

Declarative programming includes both functional programming and logic programming.

Declarative languages describe relationships between variables in terms of functionss, inference rules, or term-rewriting rules. The language executor (an interpreter or compiler) applies a fixed algorithm to these relations to produce a result.

Declarative programming was also known as Value-oriented programming, but this term has lately fallen out of use.

Applications

Declarative programming languages are extensively used in solving problems related to artificial intelligence, constraint-satisfaction problems, databases, configuration management and Inter-process communication.

In addition to the domains listed above, declarative programming is becoming a vital part of many Enterprise Programming solutions. For instance, instead of couching transactions and database access within procedural code, the application developer simply declares the relationships/dependencies between higher level objects (e.g. transactions, sql, object interfaces) and the implementation is left to the framework. See Hibernate (software), Enterprise Java Beans or Spring framework for examples of how this works.

Many of the dialects being created based on the XML format can be described as declarative due largely to the increasing popularity of the declarative programming paradigm.

Example languages

Representative examples of declarative programming languages include Oz, Prolog, Haskell, Miranda, SQL, TK Solver, and WSDL.

:Category:Declarative programming languages provides an exhaustive list.