再提出です。よろしくお願いします。

【問題】

　以下の１５手。

     ｂ→ｆ→ｄ→ｃ→ａ→ｂ→ｄ→ｅ→ｇ→ｆ→
     ｂ→ｄ→ｃ→ｅ→ｄ

　
　探索プログラムをｐｒｏｌｏｇで作成して，最短手数を求めました。

-----------------------------------------------------------------------------

scan(N):-ida([],N,[1,1,1,0,2,2,2],[2,2,2,0,1,1,1]). 

ida(OP,MaxDepth,Goal,Goal):-print('*** congratulation ***'),nl,print(OP).
ida(OP,MaxDepth,A,Goal)   :-length(OP,L),L<MaxDepth,
                            rule(S,A,B),
                            ida([S|OP],MaxDepth,B,Goal).

% pos-A
rule(b,[0,B,C,D,E,F,G],[B,0,C,D,E,F,G]).
rule(c,[0,B,C,D,E,F,G],[C,B,0,D,E,F,G]).

% pos-B
rule(a,[A,0,C,D,E,F,G],[0,A,C,D,E,F,G]).
rule(d,[A,0,C,D,E,F,G],[A,D,C,0,E,F,G]).
rule(f,[A,0,C,D,E,F,G],[A,F,C,D,E,0,G]).

% pos-C
rule(a,[A,B,0,D,E,F,G],[0,B,A,D,E,F,G]).
rule(d,[A,B,0,D,E,F,G],[A,B,D,0,E,F,G]).
rule(e,[A,B,0,D,E,F,G],[A,B,E,D,0,F,G]).

% pos-D
rule(b,[A,B,C,0,E,F,G],[A,0,C,B,E,F,G]).
rule(c,[A,B,C,0,E,F,G],[A,B,0,C,E,F,G]).
rule(e,[A,B,C,0,E,F,G],[A,B,C,E,0,F,G]).
rule(f,[A,B,C,0,E,F,G],[A,B,C,F,E,0,G]).

% pos-E
rule(d,[A,B,C,D,0,F,G],[A,B,C,0,D,F,G]).
rule(g,[A,B,C,D,0,F,G],[A,B,C,D,G,F,0]).
rule(c,[A,B,C,D,0,F,G],[A,B,0,D,C,F,G]).

% pos-F
rule(d,[A,B,C,D,E,0,G],[A,B,C,0,E,D,G]).
rule(g,[A,B,C,D,E,0,G],[A,B,C,D,E,G,0]).
rule(b,[A,B,C,D,E,0,G],[A,0,C,D,E,B,G]).

% pos-G
rule(e,[A,B,C,D,E,F,0],[A,B,C,D,0,F,E]).
rule(f,[A,B,C,D,E,F,0],[A,B,C,D,E,0,F]).