Em certos contextos, pode-se utilizar um paradigma de programação específico para expressar a lógica de um cálculo, porém sem descrever seu controle de fluxo. Em outras palavras, é possível definir “o que” deve ser feito sem descrever “como” a tarefa deve ser feita. Qual nome é dado a esse paradigma de programação?