appendo

added

ns
clojure.core.logic

type
function

(appendo x y z)

A relation where x, y, and z are proper collections,
such that z is x appended to y

                (run* [q]
  (appendo [:a :b] [:c :d :e] q)) ;; ((:a :b :c :d :e))
(run* [q]
  (appendo [:a :b] q [:a :b :c :d :e])) ;; ((:c :d :e))