Declarative programming

programming paradigm that expresses the logic of a computation without describing its control flow

programming paradigm wherein relations between variables are stated in the form of constraints