我想: 描述關於一類對象的子集的事實。 聲明對象具有包含其他屬性的屬性。 採取以下爲例: Red robotic birds are only composed of buttons, cheese, and wire.
我想表達的是一類鳥,鳥是紅色和機器人,有一個屬性。 這個屬性是他們只包含按鈕,奶酪和電線。線奶酪或鈕釦的類型沒有限制。也因此,可以推斷出沒有由紙組成的紅色機器人鳥。此外,這些
我剛剛開始玩core.logic,並努力工作,我試圖實現一些簡單的事情,類似於我目前正在專業工作的問題。然而,這個問題的一個部分讓我難住... 作爲我的例子的簡化,如果我有一個項目的目錄,其中一些只在某些國家可用,有些不具體在特定國家。我希望能夠指定的項目清單,以及例外情況,是這樣的: (defrel items Name Color)
(defrel restricted-to Country