-6

ハノイの塔の場合、出力は次のようになります。

 ?-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,[])

これはどのように行うことができますか？

4

1 に答える 1

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).
于 2012-05-26T08:26:50.037 に答える