标签： prolog structure clp
让我们有以下假设场景......一个5x5的网格，比方说3个数字。 我们想要定义对头寸的约束。在CLP中，我们通常使用整数来定义约束，因此这是一种方法：
... Fig1X #\= 2, Fig1Y #\= 3, ....
即。我们为每个X和Y位置都有单独的变量。有没有办法在构建于整数之上的结构变量上定义约束。为了举例：
.... Fig1 #\= (2,4) ...
该方案仅供参考。
我主要对如何处理结构化变量感兴趣，是否有标准做法。