logic - 通过生产规则解决数独

Question

我正在尝试使用生产规则解决任何数独难题，并​​使用 Drools 作为我的推理引擎。Drools 的示例之一正是数独求解器，以下是相关规则：

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

...但它不能正常工作。一直以来，网格中的一个或多个单元格最终都是空的，程序将这个谜题报告为“未解决”。

有没有人为数独构建了一个基于推理规则的工作求解器？使用的语言或引擎无关紧要，我希望看到一组规则，以便我可以将它们调整为 Drools

Answer 1

这里有一个用 CLIPS 编写的数独求解器：https ://sourceforge.net/p/clipsrules/code/HEAD/tree/branches/63x/examples/sudoku/

Answer 2

不要使用trunk（现在github上的master），因为那很不稳定。使用下载页面中的最新版本。显然这个例子在 5.1 版本中已经被破坏了，所以你需要 5.0 版本......这是问题，它可能会在现在任何一天发布的 5.2.0.M1 中得到解决，否则稍后发布。