Лабораторная работа по Turbo Prolog

Необходимо написать программу, решающую методом Бройдена следующую систему нелинейных уравнений:

F1 = ((x-x0)^2/a^2)+(y-y0)^2=1

F2 = m*x+r*y=1

x0, y0, a, m, n, x, y - вводит пользователь в данном порядке.

Программа должна отрабатывать при любых допустимых входных данных (т.е. необходимо сделать проверку для a=0), так же сделать проверку на m, r = 0 (при которых программа не должна выводить корни, так как 0*x+0*y не равно 1). Предусмотреть ситуацию, при которой детерминант матрицы Якоби равен нулю. Если вводятся данные, при которых уравнение не имеет корней, должно выводиться соответствующее сообщение. Предусмотреть случай, при котором программа зацикливается.

Пример входных данных от препода:

1) x0=2, y0=2, a=1, m=0, r=0.5, x=1, y=1. Результат: (x1, y1)=(1, 2); (x2, y2)=(3. 2).

2) x0=4, y0=3, a=3, m=0, r=0, x=1, y=1. Результат: (m*x+0*y не равно 1).

3) x0=0, y0=0, a=1, m=0, r=1, x=1, y=1. Результат: (x, y)=(0, 1).

4) x0=1, y0=1, a=1, m=1, r=0, x=1, y=1. Результат: (x1, y1)=(0, 1); (x2, y2)=(2, 1).

При необходимости могу предоставить свой код.