Declarative Programming

A programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow.