标签： prolog sudoku clpfd
我是prolog的新手。
我从swish.swi-prolog.org找到了一个数独求解器，我不能理解这个代码如何预测这个难题的每个元素！
至少我无法弄清楚这个代码的哪些行预测了这个难题的元素！
DataFrame