Was (wer) ist declarative languages - definition

PROGRAMMING PARADIGM THAT EXPRESSES THE LOGIC OF A COMPUTATION WITHOUT DESCRIBING ITS CONTROL FLOW

Declarative programming language; Declarative (programming); Declarative language; Declarative Language; Declarative program; Declarative Programming Language; Declarative languages

declarative language

<language> Any relational language or functional language. These kinds of programming language describe relationships between variables in terms of functions or {inference rules}, and the language executor (interpreter or compiler) applies some fixed algorithm to these relations to produce a result. Declarative languages contrast with imperative languages which specify explicit manipulation of the computer's internal state; or procedural languages which specify an explicit sequence of steps to follow. The most common examples of declarative languages are {logic programming} languages such as Prolog and {functional languages} like Haskell. See also production system. (2004-05-17)

Declarative

WIKIMEDIA DISAMBIGUATION PAGE

Declarative (disambiguation)

·adj Making declaration, proclamation, or publication; explanatory; assertive; declaratory.

declarative

WIKIMEDIA DISAMBIGUATION PAGE

Declarative (disambiguation)

[d?'klar?t?v]

¦ adjective of the nature of or making a declaration.

?Grammar (of a sentence or phrase) taking the form of a simple statement.

Derivatives

declaratively adverb

Wikipedia

Declarative programming

In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow.

Many languages that apply this style attempt to minimize or eliminate side effects by describing what the program must accomplish in terms of the problem domain, rather than describing how to accomplish it as a sequence of the programming language primitives (the how being left up to the language's implementation). This is in contrast with imperative programming, which implements algorithms in explicit steps.

Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may greatly simplify writing parallel programs.

Common declarative languages include those of database query languages (e.g., SQL, XQuery), regular expressions, logic programming, functional programming, and configuration management systems.

https://en.wikipedia.org/wiki/Declarative programming