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))))