Сумма цифр натурального числа N - Prolog

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

Привет всем. Помогите решить задачу на прологе. Определите предикат p(+N,–R), вычисляющий сумму цифр натурального числа N. Вот как это можно сделать на Паскале (в задании есть этот код):

                    Листинг программы
                
 
                        
                          
                    
function sumDigits(a:integer):integer;
{вычисляет сумму цифр числа a}
var m,b:integer;
begin
       m:=0;
       repeat
         b:=a mod 10;
         m:=m+b;
         a:=a div 10;
       until a=0;
       sunDigits:=m
end;

Заранее спасибо за помощь.

Решение задачи: «Сумма цифр натурального числа N»

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

predicates
sum_dig(integer,integer)
 
clauses
sum_dig(N,N) :- N>=0, N<10.
sum_dig(N,K) :- N>=10,V=N div 10, P=N mod 10, sum_dig(V,U), K=P+U.

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

Код выполняет следующие действия:

Проверяет, является ли число N натуральным (N>=0 && N<10).
Если число N натуральное, то возвращается само число N.
Если число N больше или равно 10, то число N делится на 10 (V=N div 10) и остаток от деления записывается в переменную P.
Рекурсивно вызывается процедура sum_dig для числа V и U.
К результату рекурсивного вызова добавляется значение переменной P.
Результат вычисления K (сумма цифр числа N) возвращается из функции.