Требуется специалист , пишущий на Prolog.

Суть проекта достаточно проста.

Нужно создать программу , решающую классическую версию судоку 9х9.
Разрешено использование сторонних библиотек. НО! Их использование не должно значительно облегчать весь проект. К примеру использование clpfd и вписание условий - очень просто и сводит всю работу к нулю.

Нужно как раз увидеть решение этих условий - запомнить возможные значения для каждого поля и постепенно отрезать эти возможности по правилам судоку.

Помимо самой программы потребуется пользовательская / техническая документация.