Declarative Programming

Declarative programming is a style of programming that expresses the logic of a computation without describing its control flow i.e., when we write our code in such a way that it describes what we want to do, and not how we want to do it.

It is left up to the compiler to figure out the how.

Many languages that apply this style attempt to minimize or eliminate side effects by describing what the program must accomplish in terms of the problem domain, rather than describe how to accomplish it as a sequence of the programming language primitives.