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]を検査する