Напишите рекурсивную процедуру вычисления суммы квадратов чисел натурального ряда (от n до m) - Prolog

Давно позабыл синтаксис языка, идея понятна, но в реализации сложнее. Подскажите код. Спасибо.

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

sum2(N, M, 0) :- 
    N > M, 
    !.
sum2(N, M, S) :-
    NN is N+1,
    sum2(NN, M, SS),
    S is SS + N*N.

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

Задача: Написать рекурсивную процедуру вычисления суммы квадратов чисел натурального ряда (от n до m).
Переменные: N (номер первого элемента), M (номер последнего элемента), S (сумма квадратов).
Условие: N > M, то есть первый элемент больше последнего.
Рекурсивный вызов: NN is N+1 (переход к следующему элементу ряда), SS is SS + N*N (добавление квадрата текущего элемента к сумме).
Базовый случай: Если N > M, то прекратить выполнение программы.
Вывод: S (сумма квадратов чисел натурального ряда от n до m).