Определение корня любого уравнения методом половинного деления - Prolog

Формулировка задачи:

Определите корень любого уравнения методом половинного деления, помогите пожалуйста

Решение задачи: «Определение корня любого уравнения методом половинного деления»

Листинг программы

f(X,Y):-
    Y is X*X*X - 2.
 
half(X1, X2, X1) :-
    X2 - X1 < 0.0001,
    !.
half(X1, X2, XX) :-
    XX is (X1 + X2)/2,
    f(XX, YY),
    0 =:= sign(YY),
    !.
half(X1, X2, X) :-
    XX is (X1 + X2)/2,
    f(X1, Y1),
    f(XX, YY),
    1 =:= sign(Y1) * sign(YY),
    !,
    half(XX, X2, X).
half(X1, X2, X) :-
    XX is (X1 + X2)/2,
    half(X1, XX, X).

Объяснение кода листинга программы

Код решает задачу нахождения корня уравнения методом половинного деления.

f(X,Y):- Y is X*X*X — 2. — это определение рекурсивной функции для проверки, является ли число корнем уравнения. Если число X является корнем, то значение Y будет равно нулю.
half(X1, X2, X1) :- X2 — X1 < 0.0001, !. — это базовый случай для рекурсии. Если разница между X1 и X2 меньше заданной точности, то функция заканчивает работу и возвращает X1 в качестве корня.
half(X1, X2, XX) :- XX is (X1 + X2)/2, f(XX, YY), 0 =:= sign(YY), !. — это рекурсивный случай. Если значение функции f для числа XX равно нулю, то это потенциальный корень уравнения. Затем функция проверяет знак YY, чтобы определить, является ли XX левым или правым корнем. Если YY положительный, то XX является левым корнем, и функция вызывает себя для X2 и XX. Если YY отрицательный, то XX является правым корнем, и функция вызывает себя для X1 и XX.
half(X1, X2, X) :- XX is (X1 + X2)/2, f(X1, Y1), f(XX, YY), 1 =:= sign(Y1) * sign(YY), !, half(XX, X2, X). — это рекурсивный случай, который проверяет, является ли XX корнем уравнения. Если Y1 и YY имеют одинаковый знак, то XX является корнем, и функция вызывает себя для X2 и XX.
half(X1, X2, X) :- XX is (X1 + X2)/2, half(X1, XX, X). — это рекурсивный случай, который вызывает функцию half для X1 и XX, чтобы продолжить поиск корня.