Declarative languages describe relationships between variables in terms of functions or inference rules[?]. The language executor (an interpreter or compiler) applies a fixed algorithm to these relations to produce a result.
Examples of declarative programming languages include Prolog and SQL.
Declarative programming languages are extensively used in solving artificial intelligence and constraint-satisfaction problems.
See also: 4GL, constraint programming
Search Encyclopedia
|
Featured Article
|