河內塔 - 河內的塔另一個輸出

Question

，輸出應該是這樣的：

?-move(3,[1,2,3],[],[],A1,B1,C). 

A1=[]. 
B1=[1,2,3] 
C=[]. 

我知道如何做到這一點：

move(1,[H|T],B,C,A1,B1,C) :- 
         A1 = T, 
         B1 = [H|B], 
         C1 = C. 
move(N,A,B,C,A1,B1,C) :- 
         N>1, 
         M is N-1, 
         move(M,[H|T],C,B,A1,B1,C), 
         move(1,[H|T],B,_,A1,B1,C), 
         move(M,C,B,[H|T],A1,B1,C). 

但接下來的問題是： 「重寫在一舉一動之後提供塔式插圖的計劃「。它的輸出應該如下所示：

?- move(3,tower(a,[1,2,3]),tower(b,[]),tower(c,[]),A,B,C). 
    a[2 3] b[1] C[] 
    a[3] b[1] C[2] 
    a[3] b[] C[1 2] 
    a[] b[3] C[1 2] 
    a[1] b[3] C[2] 
    a[1] b[2 3] C[] 
    a[] b[1 2 3] C[] 
    A = tower(a, []) 
    B = tower(b,[1, 2, 3]) 
    C = tower(c,[]) 

這怎麼辦？

Answer 1

您可以使用下面的謂詞打印空格分隔列表：

write_list_([]) :- write(']'). 
write_list_([X|Xs]) :- write(' '), write(X), write_list_(Xs). 

write_list([]) :- write('[]'). 
write_list([X|Xs]) :- write('['), write(X), write_list_(Xs).