solve(ANS,12).
choice([3,14,6,9],ANS),sum(ANS,12)
choice([3,14,6,9],ANS)
ANS=[0,14,0,0]
choice([14,6,9],ANS)
choice([6,9],ANS)
ANS=[0,0]
choice([9],ANS)
ANS=[0]
choice([],ANS)
ANS=[]
ANS=[0,14,0,0]
0+14+0+0=14
単一化に失敗
choice([14,6,9],ANS)
ANS=[14,0,0]