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