Стиль, вычисление в котором представляет собой вывод некоторого целевого утверждения называется _________ программированием.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.