core.logic goodies

goodies.clj

(defne not-membero [x l]
  ([_ []])
  ([_ [h . t]]
    (!= x h)
    (not-membero x t)))

(defne subseto [s1 s2]
  ([() _])
  ([[x . xs] _]
    (membero x s2)
    (subseto xs s2)))

(defna any-membero [s1 s2]
  ([[h . _] _]
    (membero h s2))
  ([[_ . t] _]
    (any-membero t s2)))

(defne reverseo
  "w is reverse of l"
  [l z w]
  ([() x x])
  ([[x . y] z w]
     (fresh [nz]
            (conso x z nz)
            (reverseo y nz w))))