Declarative programming: Difference between revisions

Revision as of 17:19, 13 December 2004

Revision as of 17:22, 13 December 2004

Line 14:

Declarative languages describe relationships between variables in terms of [[function (programming)|function]]s, [[inference rule]]s, or [[term-rewriting]] rules. The language executor (an [[Interpreter (computing)|interpreter]] or [[compiler]]) applies a fixed [[algorithm]] to these relations to produce a result.

Declarative programming languages are extensively used in solving [[artificial intelligence]], [[constraint-satisfaction problem]]s, [[database]]s, [[configuration management]] and [[Inter-process communication]].

Many (perhaps most) of the dialects being created in the [[XML]] community couldcan be described as declarative due largely to the increasing popularity of the declarative programming paradigm.

==Example languages==