表示 X 的特定子集在 core.logic 中具有属性 Y

Question

我想：

1. 描述有关一类对象的子集的事实。
2. 声明一个对象具有由其他属性组成的属性。

举个例子：

Red robotic birds are only composed of buttons, cheese, and wire.

我想表达一类鸟，红色的机器鸟，有一个属性。 这个属性是它们仅由纽扣、奶酪和金属丝组成。对钢丝奶酪或纽扣的类型没有限制。因此，应该推断不存在由纸组成的红色机器鸟。此外，这些鸟可以由按钮、奶酪和电线的子集组成。

在 clojure/core.logic.prelude 中，有使用 defrel 和 fact 的关系和事实。 然而，我无法想出一个组合来解释这个事实。

Answer 1

在 Prolog 中，事实和目标之间没有像 miniKanren 那样的区别。我将来可能会解决这个问题。

顺便说一句，我不确定这是否完全回答了您的问题 - 听到您希望运行什么类型的查询会很有帮助。

这是经过测试的代码（针对 Clojure 1.3.0-beta1），因为我使用的是 ^:index 技巧，如果您将其替换为 ^{，此代码将在 1.2.0 中正常运行:index true}：

(ns clojure.core.logic.so
  (:refer-clojure :exclude [==])
  (:use [clojure.core.logic]))

(defrel property* ^:index p ^:index t)

(fact property* :bird :red-robotic-bird)
(fact property* :red :red-robotic-bird)
(fact property* :robotic :red-robotic-bird)
(fact property* :tasty :cake)
(fact property* :red-robotic-bird :macaw)

(defn property [p t]
  (conde
    [(property* p t)]
    [(fresh [ps]
       (property* ps t)
       (property p ps))]))

(defrel composition* ^:index m ^:index t)

(fact composition* :buttons :red-robotic-bird)
(fact composition* :cheese :red-robotic-bird)
(fact composition* :wire :red-robotic-bird)
(fact composition* :flour :cake)

(defn composition [m t]
  (fresh [p]
    (composition* m p)
    (conde
      [(== p t)]
      [(property p t)])))

尝试一下。

(comment
  ;; what is a macaw composed of?
  (run* [q] (composition q :macaw))
  ;; (:wire :cheese :buttons)

  ;; what things include buttons in their composition?
  (run* [q] (composition :buttons q))
  ;; (:red-robotic-bird :macaw)

  ;; does a macaw include flour in its composition?
  (run* [q] (composition :flour :macaw))
  ;; ()

  ;; is a macaw a bird?
  (run* [q] (property :bird :macaw))
  ;; (_.0)

  ;; is a cake a bird?
  (run* [q] (property :bird :cake))
  ;; ()

  ;; what are the properties of a macaw?
  (run* [q] (property q :macaw))
  ;; (:red-robotic-bird :robotic :bird :red)
  )

Answer 2

不完全确定这是否是您所需要的，但是您可以通过创建事实的图形结构轻松地表达一个类具有一组属性（请参阅下面的属性事实列表以及在一组中查找属性的规则）。

然后，为了表达该组属性的组合，您需要另一组组合事实和规则，以发现该类的任何子属性以及其可以组成的结果。

我在下面还给出了一个代码示例来帮助解释。

property(bird, red_robotic_bird).
property(red, red_robotic_bird).
property(robot, red_robotic_bird).
property(tasty, cake).
property(red_robotic_bird, macaw).

property(Property, Thing) :-
    property(PropertySet, Thing),
    property(Property, PropertySet).


composition(buttons, red_robotic_bird).
composition(cheese, red_robotic_bird).
composition(wire, red_robotic_bird).
composition(flour, cake).
composition(Material, Thing) :-
    property(Property, Thing),
    composition(Material, Property).

示例查询

?- composition(Material, macaw).
Material = buttons ; 
Material = cheese ; 
Material = wire ; 
no

?- composition(buttons, Thing).
Thing = red_robotic_bird ;
Thing = macaw ;
no

?- composition(flour, macaw).
no

?- property(bird, macaw).
yes

?- property(bird, cake).
no

property(Property, macaw).
Property = red_robotic_bird ;
Property = bird ;
Property = red ;
Property = robot ;
no

Prolog 规则简介。

规则本质上只是事实（例如animal(cat)。），其条件是其他规则或事实为真。规则由头部和主体组成（head :- body.）。主体是最常以合取范式 (A /\ B /\ C) 表达的逻辑证明。 prolog中的and运算符是,，or运算符是;（但在规则中不鼓励使用） ，句点 (.) 表示规则或事实的结束。

请注意，如果主体中后面的规则或事实失败，则 prolog 将回溯并从先前的规则或事实中请求替代答案，然后重试。考虑下面这个有些人为的例子。

share_same_colour(FruitA, FruitB) :-
颜色（颜色，水果A），
颜色（颜色，FruitB）。

如果我们执行查询 share_same_colour(apple, Strawberry).，则 colour(Colour, apple). 可能会返回 Color 作为绿色。然而，没有绿色的草莓，所以序言将回溯并询问苹果还有哪些其他颜色。下一个答案可能是红色，此时第二个颜色语句将成功，整个规则为真。