小町算のパズルを制約論理プログラムとDCGを使用して解く

自分がPrologの勉強のために参考にしているM.Hiroiさんのページで掲載されている小町算の問題を、広井さんの解法とは異なり制約論理プログラミングと最近勉強したDCGを使用して解いてみました。
(参照:http://www.geocities.jp/m_hiroi/prolog/prolog14.html)

問題:
小町算
1 から 9 までの数字を順番に並べ、間に + と – を補って 100 になる式を作ってください。
例:1 + 2 + 3 – 4 + 5 + 6 + 78 + 9 = 100

——————- Prologのコード ———————–

:-use_module(library(clpfd)).

solve_komachi:-
phrase(komachi(RetNumList),[1,2,3,4,5,6,7,8,9],[]),
length(RetNumList,Len),
length(SignLst,Len),
SignLst ins -1\/1,
SignLst = [1 | Rest],
maplist(mul,RetNumList,SignLst,SignedNumList),
sum(SignedNumList,#=,100),
label(SignedNumList),
write(SignedNumList),nl.

mul(A,B,C):-
C #= A*B.

komachi([])-->[].
komachi([LeftListNum|RestNumList])-->{between(1,9, Len),length(LeftList,Len)},LeftList,{tonum(LeftList,LeftListNum)},komachi(RestNumList).

tonum(List,Num):-
length(List,Digit),
tonum(List,Num,Digit).

tonum([Num],Num,1).
tonum([First|Rest],Num,Digit):-
ThisDigitNum is First * 10 ^(Digit - 1),
NextDigit is Digit - 1,
tonum(Rest,RestNum,NextDigit),
Num is ThisDigitNum + RestNum.

———— 実行結果 ————–
[7] 35 ?- solve_komachi.
[1,2,3,-4,5,6,78,9]
[1,2,34,-5,67,-8,9]
[1,23,-4,5,6,78,-9]
[1,23,-4,56,7,8,9]
[12,-3,-4,5,-6,7,89]
[12,3,4,5,-6,-7,89]
[12,3,-4,5,67,8,9]
[123,-4,-5,-6,-7,8,-9]
[123,4,-5,67,-89]
[123,45,-67,8,-9]
[123,-45,-67,89]

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

次のHTML タグと属性が使えます: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>