Прога для Swi-Prolog:

start([d0, d1]).
correct([Bank0, Raft, Bank1]) :- start(Start), append(Bank0, Raft, Temp), append(Temp, Bank1, Start).

После выдачи 6 ответов пролог зависает. Объясните, пожалуйста, почему и как исправить?