很抱歉这个可能很愚蠢的问题，但我正在努力解决有关数据记录约束的问题。我基本上必须用 2 种不同的颜色为 2 个对象着色。问题是我必须为“2 个对象不能具有相同的颜色”定义的约束导致我进入一个空模型。我不明白为什么。有什么帮助吗？
这是代码：
Object(a). Object(b).
Colored(X,red) v Colored(X,blue) :- Object(X).
:- Colored(X, C), Colored(Y, C).
问问题
32 次