logic - 生産ルールによる数独の解決

Question

Droolsを推論エンジンとして、プロダクションルールを使用して数独パズルを解こうとしています。Droolsが詰め込まれた例の1つは、まさに数独ソルバーです。関連するルールは次のとおりです。

http://anonsvn.jboss.org/repos/labs/labs/jbossrules/trunk/drools-examples/drools-examples-drl/src/main/rules/org/drools/examples/sudoku/sudokuSolver.drl

...しかし、それは正しく機能しません。常に、グリッド内の1つ以上のセルが空になり、プログラムはパズルを「未解決」として報告します。

数独のための実用的な推論規則ベースのソルバーを構築した人はいますか？使用する言語やエンジンは関係ありません。Droolsに適応できるように、一連のルールを確認したいと思います。

Answer 1

ここにCLIPSで書かれた数独ソルバーがあります：https ：//sourceforge.net/p/clipsrules/code/HEAD/tree/branches/63x/examples/sudoku/

Answer 2

不安定なため、トランク（現在はgithubのマスター）を使用しないでください。ダウンロードページから最新リリースを使用してください。どうやらこの例は5.1リリースですでに壊れているので、5.0リリースが必要になります...これが問題です。5.2.0.M1で解決される可能性があります。