gistfile1.clj

(run 1 [q]
  (fresh [doors]
    (binding [*doors* doors]
      (== *doors* doors)
      (membero q *doors*)
      (== doors [1]))))
;; (_.0)

(run 1 [q]
  (fresh [doors]
    (== doors [1])
    (binding [*doors* doors]
      (== *doors* 10)
      (== *doors* 4)
      (== *doors* doors)
      (membero q *doors*))))
;; (1)

(run 1 [q]
  (fresh [doors]
    (binding [*doors* doors]
      (== *doors* doors)
      (membero q *doors*)
      (== *doors* [1]))))