Декларативный язык для спецификации задач вычислительного характера