gistfile1.clj

(defn not-membero [elem ls]
  (conde
   [(emptyo ls)] ;; just succeed if ls is empty
   [(fresh [a d]
      (conso a d ls)
      (!= a elem)
      (not-membero elem d))]))