Предикат, "переворачивающий" строку (меняющий в строке порядок символов на обратный) - Prolog

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

Создайте предикат, "переворачивающий" строку (меняющий в строке порядок символов на обратный).

Решение задачи: «Предикат, "переворачивающий" строку (меняющий в строке порядок символов на обратный)»

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

predicates
app(string,char,string)
rev(string,string)
 
clauses
app("",C,Z) :- frontchar(Z,C,"").
app(S,C,R)  :- frontchar(S,B,RS), app(RS,C,Z), frontchar(R,B,Z).
 
rev("","").
rev(S,Q) :- frontchar(S,B,RS), rev(RS,RR), app(RR,B,Q).

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

В коде представлены два предиката:
app(string,char,string) - предикат, который принимает три аргумента типа string (строка) и char (символ) и возвращает строку. Он используется для добавления символа в начало строки.
rev(string,string) - предикат, который принимает два аргумента типа string (строка) и возвращает строку. Он используется для переворота строки.
В первых двух утверждениях (clauses) определены начальные условия для работы программы:
app(,C,Z) :- frontchar(Z,C,). - если первая строка пустая, то вторая строка C добавляется в начало третьей строки Z.
app(S,C,R) :- frontchar(S,B,RS), app(RS,C,Z), frontchar(R,B,Z). - если первая строка S не пустая, то вторая строка C добавляется в начало третьей строки Z, а первый символ B и второй символ RS переносятся в начало R.
В последних двух утверждениях (clauses) определены начальные условия для работы программы:
rev(,). - если первая строка пустая, то вторая строка пустая.
rev(S,Q) :- frontchar(S,B,RS), rev(RS,RR), app(RR,B,Q). - если первая строка S не пустая, то вторая строка Q получается путем переворота третьей строки RR, а первый символ B и второй символ RS переносятся в начало R.