clojure - Clojure、core.logic、mini-kanren、Reasoned Schemer

Question

代码

(defn ex20 []
  (run*
    [x]
    (resto '(c o r n) (list x 'r 'n))))

(defn ex20a []
  (run*
    [x]
    (resto '(c o r n) `(~x r n))))

结果

(ex20) -> (o)
(ex20a) -> ()

问题：

为什么？这是怎么回事？run* 和宏之间是否有一些奇怪的交互？

谢谢！

Answer 1

语法引用命名空间符号：

(defn ex20a []
  (run* [x]
    (resto `(c o r n) `(~x r n))))

或者

(defn ex20a []
  (run* [x]
    (resto '(c o r n) (list x 'r 'n))))