我有关于CLP与CT的任务。我看了很多块数独的例子。我学会了如何定义行，列和框的列表。但是据我所知，我的问题与经典的数据库实例不同。
我们有一个图G =（V，E）没有相邻的顶点具有相同的数字。
gsudoku（边缘，N），标签（V）。
输出：
?- gsudoku([e(X,Y),e(Y,Z),e(Z,X)],2),label([X,Y,Z]).
false
?- gsudoku([e(X,Y),e(Y,Z),e(Z,X)],3),label([X,Y,Z]).
X=1 Y=2 Z=3 and (other permutations)
我认为这是3x3数独的例子，因为我有3分吗？
有人可以帮我解决一下吗？谢谢！
答案 0 :(得分：1)
对于未来的读者，这里是代码：
Theme.AppCompat.*