Действия со списками - Prolog

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

2. Решить следующие задачи: а) удалить из списка все элементы, равные заданному числу. б) написать предикат, который является истинным, если список упорядочен по возрастанию. в) написать предикат, создающий список, элементами которого являются суммы соответствующих элементов заданных двух списков.

Решение задачи: «Действия со списками»

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

domains
int=integer
intl=int*
 
predicates
sum_lists(intl,intl,intl)
 
clauses
sum_lists(X,[],X).
sum_lists([],Y,Y).
sum_lists([X1|RX],[Y1|RY],[Z|RZ]) :- Z=X1+Y1, sum_lists(RX,RY,RZ).

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

В этом коде используется язык программирования Prolog.
Код содержит два домена: int (целое число) и intl (множество целых чисел).
Есть три предиката: sum_lists (сумма списков), X, Y, Z (переменные для предиката).
Есть три правила (clauses) для предиката sum_lists.
Первое правило гласит: если первый и второй аргументы равны пустому списку ([]), то третий аргумент также должен быть равен пустому списку ([]).
Второе правило гласит: если второй и третий аргументы равны пустому списку ([]), то первый аргумент также должен быть равен пустому списку ([]).
Третье правило гласит: если первый аргумент является списком с одним элементом (X1), то второй и третий аргументы должны быть равны этому элементу (Y1). Если первый аргумент является списком, то второй и третий аргументы должны быть равны результату сложения первого элемента списка (X1) и первого элемента второго списка (Y1). Затем следует вызов функции sum_lists с остальными элементами списка.
Значения переменных X, Y, Z не определены в коде. Они могут быть определены в процессе выполнения кода.