Из исходного списка сформировать список-результат - Prolog

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

Опишите на языке Prolog предикат, выводящий на экран результат. Функция из исходного списка формирует список-результат: первый элемент-сумма всех элементов,второй-сумма элементов хвоста,третий-сумма элементов от третьего до последнего, и т. д.

Решение задачи: «Из исходного списка сформировать список-результат»

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

domains
int=integer
intl=int*
 
predicates
sumlist(intl,int)
task(intl,intl)
 
clauses
sumlist([],0).
sumlist([H|T],S) :- sumlist(T,S1), S=H+S1.
 
task([],[]).
task([H|T],[S|TT]) :- sumlist([H|T],S), task(T,TT).

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

В коде используется язык программирования Prolog.
Задача заключается в том, чтобы из исходного списка сформировать список-результат.
Для этого используются два предиката: sumlist и task.
Предикат sumlist принимает два аргумента: список и результат. В первом случае список пустой, во втором - результат равен сумме списка.
Предикат task принимает два аргумента: список и результат. В первом случае список пустой, во втором - результат является результатом вызова предиката sumlist для списка и добавляется в конец результата.
В коде есть два утверждения:
- sumlist([],0). - начальное значение для пустого списка.
- sumlist([H|T],S) :- sumlist(T,S1), S=H+S1. - рекурсивное вычисление суммы списка.
В коде есть два утверждения:
- task([],[]). - начальное значение для пустого списка.
- task([H|T],[S|TT]) :- sumlist([H|T],S), task(T,TT). - рекурсивное формирование списка-результата.