lvar

added

ns
clojure.core.logic

type
function

(lvar) (lvar name) (lvar name unique)


        

                (let [x (lvar 'x)]
  (run 10 [q]
    (membero x [1 2 3])
    (== q x)))