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

solve(ANS,12).

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

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

ANS=[0,14,6,0]

choice([14,6,9],ANS)

choice([6,9],ANS)

choice([9],ANS)

choice([],ANS)

ANS=[0,14,6,0]

0+14+6+0=20

単一化に失敗

choice([9],ANS)

choice([],ANS)

choice([6,9],ANS)

ANS=[6,0]

choice([9],ANS)

ANS=[0]

choice([],ANS)

ANS=[]

choice([14,6,9],ANS)

ANS=[14,6,0]