Revision as of 02:10, 25 August 2004 edit Danakil (talk \| contribs) 2,873 edits aka ← Previous edit		Revision as of 02:15, 25 August 2004 edit undo Danakil (talk \| contribs) 2,873 edits ref to cat Next edit →
Line 4: 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. Examples of declarative programming languages include [[Miranda programming language\|Miranda]], [[Prolog]] and [[SQL]]. ▼ Declarative programming languages are extensively used in solving [[artificial intelligence]] and [[constraint-satisfaction problem]]s. ▲Examples of declarative programming languages include [[Miranda programming language\|Miranda]], [[Prolog]] and [[SQL]]. See [[:Category:Declarative programming languages]] for a full list. ==See also==

Declarative programming: Difference between revisions