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
wikipedia.org dumped 2003-03-17 with terodump