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