In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without fully describing its control flow.

Languages that permit this style allow a developer to minimize or eliminate side effects by describing what the program must