通过产生式规则解决数独问题

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

这里有一个用剪辑编写的数独解算器：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中得到解决，它将在现在的任何一天发布，否则以后会发布。