Как называются языки сверхвысокого уровня (ясву), когда программист задает отношения между объектами в программе, например систему линейных уравнений, и определяет, что нужно найти, но не задает, как получить результат?