最初のページ 戻る 次へ 最後のページ

solve(ANS,12).

choice([3,14,6,9],ANS),sum(ANS,12)

ANS=[0,0,0,0]

sum([H|T],SUM):-sum(T,S),SUM is H+S.

H=0,T=[0,0,0]

sum([0,0,0,0],12)

sum([0,0,0],S)

sum([H|T],SUM):-sum(T,S),SUM is H+S.

H=0,T=[0,0]

sum([0,0],S)

sum([H|T],SUM):-sum(T,S),SUM is H+S.

H=0,T=[0]

sum([0],S)

sum([H|T],SUM):-sum(T,S),SUM is H+S.

H=0,T=[ ]

sum([ ],S)

巻取り段階

巻取り段階

巻取り段階

巻取り段階

解の候補 ANS=[0,0,0,0]を検査する