distinct.clj

(require '[clojure.core.logic.fd :as fd])

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

;; slow
(time
  (let [vs (lvars 6)]
    (doall
      (run 1 [q]
        (everyg value* vs)
        (distincto vs)
        (== q vs)))))

;; fast
(time
  (let [vs (lvars 6)]
    (doall
      (run 1 [q]
        (everyg #(fd/in % (fd/interval 0 15)) vs)
        (fd/distinct vs)
        (== q vs)))))