Description:

Mainstream programming languages are imperative: the programmer dictates the order of reads and writes to memory. Declarative languages (for example functional and logic languages) remove this major cause of complexity and error. Unfortunately, declarative languages impose severe constraints on the structure and variability of data.