(l/run* [a b]
  (l/== b 2)
  (l/conjo a 2 3 [1 2 3])) => ([[1] 2])

(l/run* [a b]
  (l/== b 2)
  (l/conjo a b 3 [1 2 3])) => ()

(l/run* [a b]
  (l/conjo a b 3 [1 2 3])) =>
  (([_0 _1] :- (clojure.core.logic/conjo <lvar:a__23616> _1 3 [1 2 3])))