パズルの問題で１枚の上に書いた「数字」の個数に言及するタイプのものがある。

問題：□の中に数字を１個ずつ、入れて成り立つようにしてください。

というようなもの。この問題自体は答えが唯一解。(*1)

この手の問題を作ろうとした。プログラムの世話になるわけだが、今回はprologを使ってみることに。(*2)

　「あてはめてはあってるかどうか調べる」的な問題はprologがあってるような気がしたので。

上記の問題を変形して１行減らした、
を解いてみることにした。これでも唯一解だったか？

prologのソースを書いていく。たぶん約２０年ぶり。(*3)

「文の最後はピリオドだっけ？」「countって作ってみたがこれでいいのか」「カット（！）マークの使った方がいいんだっけか」「表示ってどうやるんだっけprintｆ? print? write? writeln?」「ワーニング出てるじゃん、直しておこうねぇ、やっぱり」「試してみよう、げっ動かない」・・・。

と格闘して、書き上げたのがこのソース。ちゃんと動いているようなので、まずまずＯＫということで。(*4)

いざ、実行してみると、

どうやら答えは２つあるようだ。「3131」の方は手で解いて知ってたけど、「2321」でも成立してることが判明。(*5)

　次回はソースを使いまわせるように改良して、もう少しゴツイ問題を解いてみたい意向。

(*1)～(*5) プ：何が何個をprologで　補足 参照のこと。