数据记录着色对象

Question

对不起这个可能很愚蠢的问题，但我正在努力解决有关数据记录限制的问题。我基本上必须用2种不同的颜色着色2个对象。问题是我必须为“2个对象定义不能具有相同颜色”的约束使我成为一个空模型。我不明白为什么。有什么帮助吗？

以下是代码：

Object(a). Object(b).

Colored(X,red) v Colored(X,blue) :- Object(X).

:- Colored(X, C), Colored(Y, C).