うそつき娘問題を制約プログラミングで解く | 小屋畑ソフトウェアサービス ブログページネットで以下の問題を見つけたのでSWI-PrologのCLPFDライブラリで解いてみた 問題：水泳大会 水泳大会で、この４人が１位から４位を獲得しました（同順位はありません）。 スタート前の予想は下のとおりで、３人が当たり、１人が外れました。 誰が何位だったのでしょう？ ことり「私は１位」 なる 「私はすずより上位」 すず 「私は１位か２位」 あゆ 「私は１位か２位」 プログラム: :-use_module(library(clpfd)). solve_girl_order:- GirlOrderLst = [KotoriOrder,NaruOrder,SuzuOrder,AyuOrder], GirlOrderLst ins 1..4, all_different(GirlOrderLst), HatugenFlgLst = [KotoriHatugenFlg,NaruHatugenFl
