gistfile1.clj

(defn everyo [pred coll]
  (conde [(emptyo coll)]
         [(fresh [head tail]
            (conso head tail coll)
            (pred head)
            (everyo pred tail))]))

;; still broken
(defne everyo [pred coll]
  ([_ ()])
  ([p [x . d]]
     (p x)
     (everyo p d)))