(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))