Definition, synonyms and related words
a programming paradigm that expresses the logic of a computation instead of its control flow