Извините за возможно глупый вопрос, но я борюсь с проблемой, касающейся ограничений в журнале данных. Я в основном должен раскрасить 2 объекта двумя разными цветами. Проблема в том, что ограничение, которое я должен определить для «2 объектов не может иметь одинаковый цвет», приводит меня к пустой модели. Я не понимаю почему. Любая помощь?
Вот код:
Object(a). Object(b).
Colored(X,red) v Colored(X,blue) :- Object(X).
:- Colored(X, C), Colored(Y, C).