declarative language

Computing Dictionary

declarative language definition

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)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: declarative
Next Definition: declarative mood
More from Thesaurus.com
Synonyms and Antonyms for declarative language
More from Reference.com
Search for articles containing declarative language
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature