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