Решение судоку с помощью правил производства

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

Не используйте транк (мастер на github сейчас), так как это нестабильно.Используйте последнюю версию со страницы загрузки.По-видимому, этот пример был разбит уже в версии 5.1, поэтому вам понадобится версия 5.0 ... Вот проблема , ее может быть решена для 5.2.0.M1, которая будетбыть освобожденным в любой день сейчас, иначе позже.