Ханойские башни 4 стержня 5 колец

domains
ilist=integer*
sostoyanie=s(ilist,ilist,ilist,ilist)
sostoyaniya=sostoyanie*
searchlist=sostoyaniya*
 
predicates
menshe(integer,ilist).
move(sostoyanie,sostoyanie).
search_bdth(sostoyanie,sostoyanie).
prolong(sostoyaniya,sostoyaniya).
bdth(searchlist,sostoyanie,sostoyaniya).
show_answer(sostoyaniya).
member(sostoyanie,sostoyaniya).
append(searchlist,searchlist,searchlist).
 
clauses
menshe(_,[]).
menshe(A,[B|_]):-A<B.
 
move(s([H|Tail],B,C,D),s(Tail,[H|B],C,D)):-menshe(H,B).
move(s([H|Tail],B,C,D),s(Tail,B,[H|C],D)):-menshe(H,C).
move(s([H|Tail],B,C,D),s(Tail,B,C,[H|D])):-menshe(H,D).
 
move(s(A,[H|Tail],C,D),s([H|A],Tail,C,D)):-menshe(H,A).
move(s(A,[H|Tail],C,D),s(A,Tail,[H|C],D)):-menshe(H,C).
move(s(A,[H|Tail],C,D),s(A,Tail,C,[H|D])):-menshe(H,D).
 
move(s(A,B,[H|Tail],D),s([H|A],B,Tail,D)):-menshe(H,A).
move(s(A,B,[H|Tail],D),s(A,[H|B],Tail,D)):-menshe(H,B).
move(s(A,B,[H|Tail],D),s(A,B,Tail,[H|D])):-menshe(H,D).
 
move(s(A,B,C,[H|Tail]),s([H|A],B,C,Tail)):-menshe(H,A).
move(s(A,B,C,[H|Tail]),s(A,[H|B],C,Tail)):-menshe(H,B).
move(s(A,B,C,[H|Tail]),s(A,B,[H|C],Tail)):-menshe(H,C).
 
search_bdth(Start,Finish):-bdth([[Start]],Finish,Way),show_answer(Way).
 
member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
 prolong([Temp|Tail],[New,Temp|Tail]):-
move(Temp,New),not(member(New,[Temp|Tail])).
 
append([],B,B).
append([H|Tail],B,[H|NewTail]):-append(Tail,B,NewTail).
 
bdth([[Finish|Tail]|_],Finish,[Finish|Tail]).
bdth([TempWay|OtherWays],Finish,Way):-
        findall(W,prolong(TempWay,W),Ways),
        append(OtherWays,Ways,NewWays),
        bdth(NewWays,Finish,Way).
 
show_answer([_]):-!.
show_answer([A,B|Tail]):-
        show_answer([B|Tail]),nl,write(B),write(" -> "),write(A).
 
goal
search_bdth(s([1,2,3,4,5],[],[],[]),s([],[],[],[1,2,3,4,5])).