Склеивание трех символьных списка - Prolog

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

Составить программу, которая "склеивает " три символьных списка (использовать в качестве вспомогательного предикат "склеивания" двух списков), выводит исходные списки и результирующий; Удалить из списка первый элемент. Вывести результат

Решение задачи: «Склеивание трех символьных списка»

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

domains
sym=symbol
lsym=sym*
 
predicates
app(lsym,lsym,lsym)
task(lsym,lsym,lsym,lsym)
 
clauses
app([],X,X).
app([H|T],X,[H|R]) :- app(T,X,R).
 
task(X,Y,Z,R) :- app(X,Y,XY), app(XY,Z,R).

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

В коде используется язык программирования Prolog.
Задача состоит в склеивании трех символьных списков.
Для представления символов используется тип данных sym.
Для представления списков символов используется тип данных lsym, который является списком символов (символов) типа sym.
В коде определены два предиката: app и task.
Предикат app используется для склеивания двух списков символов в один.
Предикат task используется для склеивания трех списков символов в один.
В условии задачи применяются два предиката: app и app.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.
В теле задачи применяется предикат app для склеивания двух списков символов в один.