Сортировка строки пузырьком - Prolog

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

Здравствуйте, помогите пожалуйста решить задачу. Отсортировать слова в строке по алфавиту методом пузырька.

trace
domains
 s=string
predicates 
 sort(s,s)
 swap(s,s)
clauses  
 sort(InputStr,Sorted):-
  swap(InputStr,Str).
 
 swap("","").
 swap(IStr,Str):-
  fronttoken(IStr,T1,Rest),
  fronttoken(Rest,T2,Tail),
  T1>T2,
  concat(T1,Tail,Str1),         %меняет местами первые два слова.
  concat(" ",Str1,Str2),        
  concat(T2,Str2,Str3),
  swap(Str3,_).
 
 swap(IStr,Str):-               %если первые два менять не нужно, отрывает первое слово. 
  fronttoken(IStr,T1,Rest),
  swap(Rest,IStr).
 
goal
 clearwindow,
 S="A C B",
 R="",
 sort(S,R),
 write(S).

Проблемы начинаются в моменте, когда слов не остается и fronttoken фейлит, не могу понять, какие значения появляются в redo. Как я понимаю, это обратная рекурсия, но как с ней быть - хз. Буду очень признателен.

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

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

CALL: concat("A ","B C ","")
FAIL: concat

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

CALL: concat(A,B C,`) - вызывается процедура concat, которая принимает три аргумента:A,B Cи пустую строку. Эта процедура объединяет все три строки в одну, разделяя их пробелами. Результатом будет строкаA B C`.
FAIL: concat - означает, что произошла ошибка при выполнении процедуры concat. Вероятно, это произошло из-за неправильных аргументов или из-за ограничений самой процедуры.