lcons

added

ns
clojure.core.logic

type
function

(lcons a d)

Constructs a sequence a with an improper tail d if d is a logic variable.

                (run* [q]
  (fresh [a d]
    (== [1 2 3 4] (lcons a d))
    (== q d))) ;; ((2 3 4))