When applied to programming language
s, this label is used for languages or constructs that state the form of a result. Logical
) programming languages are declarative.
In imperative languages, on the other hand, statements describe actions, and programs describe combinations of actions to construct the desired result. In declarative languages, the exact construction is left to the implementation.