declarative programming

A style of programming that concentrates on what to do, rather than how to do it, as opposite to imperative programming.

A common example of declarative programming would be an HTML document (which describes the structure of the page, but not how to actually construct the view.
At least, in principle.)