clojure.core.logic/lcons

View this page on ClojureDocs

Type: function Added: Clojure unknown Examples: 2 Runnable: 0

([a d])

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

Examples

by freckletonj on 2016-04-11 . May have evaluation errors. ▶

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

by mdzaebel on 2020-02-09 . May have evaluation errors. ▶

(run* [t] (== [1 2 3] (lcons 1 t))) ;;=> ((2 3))

See also

• clojure.core.logic/llist

---

Content from the matching ClojureDocs page, with authors credited on each contribution.