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

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が不一致