declarative language

declarative language

[di‚klar·əd·iv ′laŋ·gwij]
(computer science)
A nonprocedural programming language that allows the programmer to state the task to be accomplished without specifying the procedures needed to carry it out.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

declarative 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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (

non-procedural language

A computer language that does not require writing traditional programming logic. Also known as a "declarative language," users concentrate on defining the input and output rather than the program steps required in a procedural programming language such as C++ or Java.

The following dBASE example shows both procedural and non-procedural commands to list two fields in a file. The non-procedural LIST displays all the records in a file. In the 3GL version, a logic loop must be defined (do/enddo), the next record must be read (skip), and the end of file must be tested (while .not. eof()). See fourth-generation language. Contrast with procedural language.

Procedural             Non-Procedural3rd-Generation         4th-GenerationLanguage (3GL)         Language (4GL)

 use fileABC            use fileABC
 do while .not. eof()   list name, total
   ? name, total
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.
References in periodicals archive ?
The new language, called OPAL (Open Pattern Analysis for Layout), is a declarative language for geometric pattern matching.
A logic-based approach to AI (McCarthy 1990) suggests that this model should contain a knowledge base (KB)--a collection of statements in some declarative language with precisely defined syntax and semantics.
Simulax examples combine the flexibility of R and MATLAB scripts with the power of the MLXTRAN declarative language to encode complex models.
A sample of individual paper topics includes supporting cloud computing managemement through an object mapping declarative language, a self-configurable architecture for wireless sensor networks, and bank loan processes modelling using BPMN.
In this case, asking questions, declarative language, comparative language; causative language, (because, as a result of etc), temporal language (last time, before, after).
Because SQL is a declarative language, a query can be written in many different ways, each with a different execution plan.
Concise--Stated in declarative language that is brief and easy to read, yet conveys the essence of what is required.
In this book, Liebler explains some fundamental aspects of analytic chemistry and mass spectrometry in simple, straightforward terms, using everyday analogies and simple declarative language. He makes effective use of simple diagrams to describe molecular-level interactions.
How can we integrate interaction into a purely declarative language? This tutorial describes a solution to this problem based on a monad.

Full browser ?