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