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.
S=0,SUM is 0
sum([0,0,0,0],12)
sum([0,0,0],S)
sum([H|T],SUM):-sum(T,S),SUM is H+S.
S=0,SUM is 0
sum([0,0],S)
sum([H|T],SUM):-sum(T,S),SUM is H+S.
S=0,SUM is 0
sum([0],S)
sum([H|T],SUM):-sum(T,S),SUM is H+S.
S=0,SUM is 0
sum([ ],S)
S=0
sum([ ],0).
巻取り段階
巻取り段階
巻取り段階
巻取り段階
単一化に失敗
SUMが不一致