Задача о переливаниях с 4-мя кувшинами - Prolog

m([b(Max1,A),b(Max2,B),B3],[b(Max1,0),b(Max2,B1),B3]):- A=<Max2-B, B1=B+A.
m([b(Max1,A),b(Max2,B),B3],[b(Max1,A1),b(Max2,Max2),B3]):- A>Max2-B, A1=A-Max2+B.
 
move([A,B,C,D],[A1,B1,C1,D1]):-
    m([A,B,C],[A1,B1,C1]);
    m([A,C,B],[A1,C1,B1]);
    m([A,D,C],[A1,D1,C1]);
    m([A,B,D],[A1,B1,D1]);   
    m([A,C,D],[A1,C1,D1]);   
    m([A,D,B],[A1,D1,B1]);
     
    m([B,A,C],[B1,A1,C1]);
    m([B,C,A],[B1,C1,A1]);
    m([B,D,C],[B1,D1,C1]);
    m([B,A,D],[B1,A1,D1]);       
    m([B,C,D],[B1,C1,D1]);   
    m([B,D,A],[B1,D1,A1]);
 
    m([C,A,B],[C1,A1,B1]);
    m([C,B,A],[C1,B1,A1]);
    m([C,D,B],[C1,D1,B1]);
    m([C,A,D],[C1,A1,D1]);       
    m([C,B,D],[C1,B1,D1]);   
    m([C,D,A],[C1,D1,A1]);
 
    m([D,A,B],[D1,A1,B1]);
    m([D,B,A],[D1,B1,A1]);
    m([D,C,B],[D1,C1,B1]);
    m([D,A,C],[D1,A1,C1]);   
    m([D,B,C],[D1,B1,C1]);   
    m([D,C,A],[D1,C1,A1]).
 
search_dpth(Start,Finish):-dpth([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])).
 
dpth([Finish|Tail],Finish,[Finish|Tail]).
dpth(TempWay,Finish,Way):-
        prolong(TempWay,NewWay),dpth(NewWay,Finish,Way).
 
show_answer([_]):-!.
show_answer([A,B|Tail]):-
        show_answer([B|Tail]),nl,write(B),write(" -> "),write(A).
 
start:- search_dpth([b(24,24),b(5,0),b(11,0),b(13,0)],[b(24,8),b(5,0),b(11,8), b(13,8)]).