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

如何使用clpfd在Prolog中实现解算器？我不知道如何将那些大于约束的约束添加到常规数独解算器中。

只需将每个正方形放在一个有限域中，数字为1到9，并在每个边上发出一个#<约束。

请提供一些代码，显示您的尝试。顺便说一句，我在链接上看到了照片，但没有看到任何模式。因此，我认为您必须手动添加每个约束