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