Declarative Programming

Declarative programming specifies what but not how.