3

我正在尝试使用地图作为我的数据结构，并初始化它们以包含lvars稍后从其他关系中分配的值。

这成功了：

(run 1 [q]
  (fresh [a b]
    (== q {:a 1 :b 2 :c b})
    (featurec q {:a b})))
-> ({:a 1, :b 2, :c 1})

但这些都失败了：

;; Expected result -> ({:a 1 :b 2 :c _0})
(run 1 [q]
  (fresh [a b]
    (== q {:a a :b 2 :c b})
    (featurec q {:a 1})))
-> java.lang.ClassCastException: java.lang.Long cannot be cast to clojure.lang.IPersistentMap

;; Expected result -> ({:a _0 :b 2 :c _0})
(run 1 [q]
  (fresh [a b]
    (== q {:a a :b 2 :c b})
    (featurec q {:a b})))
-> java.lang.ClassCastException: clojure.core.logic.LVar cannot be cast to clojure.lang.IPersistentMap

我正在使用[org.clojure/core.logic "0.8.5"]. 我怎样才能使这两个目标都成功？

4

1 回答 1

1

这是由于partial-map（http://dev.clojure.org/jira/browse/LOGIC-145）中的一个错误。

于 2014-02-03T03:34:10.487 回答