在Prolog中实现大于数独的数据解算器

Question

如何使用clpfd在Prolog中实现greater-than sudoku求解器？我无法弄清楚如何将这些大于约束的东西添加到常规的数独求解器中。

Answer 1

简单地将每个方格放在有限域中，数字1到9，并发出＃＆lt;每条边的约束。