Я хочу:
- Опишите факт о подмножестве класса объектов.
- Объявить, что объект имеет свойство, состоящее из других свойств.
В качестве примера возьмем следующее:
Red robotic birds are only composed of buttons, cheese, and wire.
Я хочу сказать, что класс птиц, птиц, красных и роботизированных, обладает свойством. Это свойство состоит в том, что они состоят только из кнопок, сыра и проволоки. Нет никаких ограничений на тип проволочного сыра или кнопок. Также в результате должно быть понятно, что нет красных роботизированных птиц, которые состоят из бумаги. Кроме того, эти птицы могут состоять из подмножества кнопок, сыра и проволоки.
В clojure/core.logic.prelude существуют отношения и факты с использованием defrel
и fact
.
Однако я не могу придумать комбинацию, чтобы объяснить этот факт.