通过制作规则解决数独

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

......但它不能正常工作。在所有的情况下，网格中的一个或多个单元格最终为空，程序将拼图报告为“未解决”。

有没有人为Sudoku构建了基于规则的工作推理解算器？使用的语言或引擎无关紧要，我希望看到一套规则，以便我可以为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版本...这里是issue，可能可以解决5.2.0.M1这将是现在任何一天都会被释放，否则就会被释放。