zipluso.clj

(do
  (require '[clojure.core.logic :as l])
  (require '[clojure.core.logic.fd :as fd])
  (defn zip+o [l1 l2 l3]
    (l/conde
      [(l/== () l1) (l/== () l2) (l/== () l3)]
      [(l/fresh [fl1 rl1 fl2 rl2 fl3 rl3]
              (l/conso fl1 rl1 l1)
              (l/conso fl2 rl2 l2)
              (l/conso fl3 rl3 l3)
              (fd/in fl1 fl2 fl3 (fd/interval 10))
              (fd/+ fl1 fl2 fl3)
              (zip+o rl1 rl2 rl3))]))
  (l/run* [q]
        (l/fresh [a b]
               (l/== q {:l1 a :l2 b})
               (zip+o a b [2 2]))))