Clojure, core.logic, mini-kanren, Reasoned Schemer

Question

Code

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

Results

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

Question:

Why? What's going on? Is there some weird interaction between run* and macros?

Thanks!

Answer 1

syntax-quote namespaces symbols:

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

or

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