Declarative programming

In computer science, declarative programming is a programming paradigma style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. (Source: Wikipedia)