Сумма ряда. Рекурсия - Prolog

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

Здравствуйте. Есть задача: Решается рекурсивным методом в SWI-Prolog 6.0.1 Написал следующий код:

fun(1,1).
fun(N,S):-F is N-1,fun(F,S1),
S is (S1+N^2)/5.

При вводимых данных fun(5,S). ответ по идее должен быть S = 11, но на деле получается S = 5.720000000000001 Укажите пожалуйста на мою ошибку, только только начал заниматься прологом и как-то встрял на элементарной задаче.

Решение задачи: «Сумма ряда. Рекурсия»

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

?- fun(5, f(I^2/5, I), S).
I = 5,
S = 11.0.

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

Код решает задачу вычисления суммы ряда, используя рекурсию. Вот список шагов, описывающих, что происходит в коде:

fun(5, f(I^2/5, I), S) - это входные данные для программы. Здесь 5 - это значение первого аргумента функции fun, f(I^2/5, I) - это второй аргумент функции fun, а S - это третий аргумент функции fun.
Программа вызывает функцию fun с аргументами 5, f(I^2/5, I), S.
Внутри функции fun происходит следующее:
- Значение первого аргумента 5 присваивается переменной I.
- Значение второго аргумента f(I^2/5, I) присваивается переменной S.
- Выполняется рекурсивный вызов функции fun с аргументами I^2/5 и I.
Рекурсивный вызов функции fun возвращает результат 11.0, который присваивается переменной S.
Функция fun возвращает результат S.
В исходной программе значение переменной S выводится на экран. Таким образом, результатом выполнения данного кода будет число 11.0.