Суммирование числового списка - Prolog

Предикат, который считает сумму элементов числового списка.

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

domains
int=integer
intl=int*
 
predicates
sum(intl,int)
 
clauses
sum([],0).
sum([H|T],S) :- sum(T,SS), S=SS+H.

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

domains - определение типов данных для переменных
predicates - определение пользовательской функции (предсказания)
clauses - определение правил для функции
sum([],0). - базовый случай, когда список пустой, сумма равна 0
sum([H|T],S) :- sum(T,SS), S=SS+H. - общий случай, когда список не пустой, сумма элементов равна сумме остальных элементов плюс значение текущего элемента

Оцени полезность:

9 голосов , оценка 4 из 5

Похожие ответы