3

我正在尝试掌握 core.logic。

我可以在事实和规则中使用复杂的数据结构吗？

例如，我正在尝试这样做：

(pldb/db-rel test a)

(defn is-wibble? [a] (= true (:wibble a)))

(def facts
  (pldb/db
   [test {:name "x" :wibble true}]
   [test {:name "y" :wibble false}]
   [test {:name "z" :wibble true}]))

(defn -main [& args]
  (doseq [x
          (pldb/with-db facts
            (run* [q]
              (is-wibble? q)))]
    (println x))))

但它抛出一个错误：

Caused by: java.lang.ClassCastException: java.base/java.lang.Boolean cannot be cast to clojure.lang.IFn
    at clojure.core.logic.Substitutions.bind(logic.clj:425)
    at polvo.core$_main$fn__377$fn__378$fn__379$_inc__380.invoke(core.clj:223)

其实在一线

(is-wibble? q)

尝试将规则创建为正常功能我错了吗？还是将复杂的数据转化为事实？

4

1 回答 1

4

您可以检查 中的复杂数据结构db，这里唯一缺少的部分是在您的is-wibble?谓词中，您将收到一个逻辑变量而不是实际的具体值。

predcore.logic 中有一个目标，它是project一个 lvar，因此您可以检查它的值。我重命名了目标以匹配典型的目标名称。pred接受一个 lvar 和一些将接收 lvar 值的函数，pred如果该谓词函数返回真值，则目标成功。

(defn wibbleo [a] (pred a :wibble))

或者您可以使用原始谓词这样定义它：

(defn wibbleo [a] (pred a is-wibble?))

请注意，您还需要将您的db-rel作为目标(test q)，然后您的程序应该可以工作：

(pldb/with-db facts
  (run* [q]
    (test q)
    (wibbleo q)))
=> ({:name "x", :wibble true} {:name "z", :wibble true})
于 2018-10-25T01:20:17.207 回答