Prolog SWI で CHR (Constraint Handling Rules) を使用していくつかのパズル ソルバーを作成しています。
すべてがうまく機能しますが、どのソルバーが最適かをテストするのが好きです。したがって、どのソルバーがバックトラックの使用量が最も少ないかを調べるのが好きです。
特定のパズルを解くためにソルバーが必要としたバックトラックの量を見つける (または印刷する) 賢い方法はありますか?
論理的には、カウントは役に立ちますが、そうではありません --> バックトラック ! <-- . また、SWI の GUI が原因で、画面に新しい行を出力することは効果的ではありません。+/- 50 行を超えて印刷できず、適切に選択できない