A program written in a declarative language gives a mathematical specification of the answer, as opposed to a step-by-step sequence of instructions that must be executed to compute the answer. Unlike variables in imperative languages, variables in a declarative language are like mathematical variables: They represent a single value that does not change over time.