Пролога не знаю, но функциональный стиль действительно декларативный. Напр. x = x +1 в императивном означает сложить значение x с единицей и положить результат в x.
В ФП это будет рекурсивный вызов функции x.
По поводу решения. Напр., в Матлабе эта система записывается как A*x = b, где А - матрица 2х2, x - вектор 2х1 неизвестных (x и y), а b - вектор 2х1 левой части. Решение находится в виде левого деления: x = A \ b.
На Хаскеле надо бы описать тип данных "матрица" и оператора "левое деление" (можно методом треугольника) и тогда - вуаля, всё получится.