Declarative programming

Programming paradigm based on modeling the logic of a computation

In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without fully describing its control flow. The paradigm focuses on abstracting a program beyond the order of execution. This implies usage of a high-level programming language.

From Wikipedia, under CC BY-SA. More on occurri.