- 300 名前：デフォルトの名無しさん mailto:sage [2009/06/20(土) 12:15:56 ]
- > [X|Ys]ここはどうしてこうなるのでしょうか？Xを排除したものをYsとしてるんですよね？
XとYsから[X|Ys]を作っている、と読むのが自然じゃないかな
divide([A,B|Xs],[A|Ys],[B|Zs]) :- divide(Xs,Ys,Zs).
divide([A,B|CDEF…],[A|CE…],[B|DF…]) :- divide(CDEF…,CE…,DF…).
divide([X|Xs],[X|Ys],Zs) :- divide(Xs,Zs,Ys).
divide([A|BCDE…],[A|CE…],BD…) :- divide(BCDE…,BD…,CE…).
こう書き直せばわかる気がする
