Язык программирования, предназначенный для решения данного класса проблем. Примеры являются языки обработки списка, информационно-поисковые языки, языки моделирования.