core.logic distincto

;; Why is the core.logic program so slow, even though
;; we're only asking for one result?

  (defrel value* v)
  (facts value*  (take 15 (map vector (iterate inc 0))))

  (let [vs (take 6 (repeatedly lvar))]

    (run 1 [q]
         (everyg value* vs)
         (distincto vs)
         (== q vs)))