Создать предикат, вычисляющий по натуральному числу N сумму чисел, от 1 до N - Prolog

Создать предикат, вычисляющий по натуральному числу N сумму чисел, от 1 до N

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

predicates
sum(integer,integer)
 
clauses
sum(0,0).
sum(N,S) :- N1=N-1, sum(N1,S1), S=S1+N.

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

В данном коде представлен предикат sum, который вычисляет сумму чисел от 1 до N.

Предикат sum имеет два аргумента типа integer (целое число): N и S.
В первой границе (clauses) установлено правило для случая, когда N равно 0: S равно 0.
Во второй границе (clauses) используется правило рекурсии: — N1 присваивается значение N-1. — S1 присваивается результат вызова предиката sum с аргументами N1 и S. — S присваивается значение S1+N. Таким образом, при вызове предиката sum с аргументами N=5 и S=0, будет выполнено следующее: — Будет сделан вызов sum(4,S) — Выполнится sum(4,0). — Выполнится sum(3,0). — Выполнится sum(2,0). — Выполнится sum(1,0). — Выполнится sum(0,0). — Значение S будет равно 0+1+2+3+4+5=15. Ответ: S=15.