clojure.core.logic/project

View this page on ClojureDocs

Type: macro Added: Clojure unknown Examples: 3 Runnable: 0

([[& vars] & goals])

Extract the values bound to the specified logic vars. Non-relational.

Examples

by originalhat on 2020-11-10 . May have evaluation errors. ▶

;; convert lvars into values (cl/project [a b] (cl/== % (str a " proposed to " b))) "Jack proposed to Mira"

by johannesCmayer on 2024-11-17 . May have evaluation errors. ▶

;; print lvar value (run 1 [q] (== q 1) (project [q] (do (println (str "hi, q=" q)) succeed))) ;; hi, q=1 ;; => (1)

by johannesCmayer on 2024-11-17 . May have evaluation errors. ▶

(defne interval-0-3 [x] ([0]) ([1]) ([2])) (run 1 [q] (interval-0-3 q) (project [q] (do (println (str "hi, q=" q)) succeed))) ;; hi, q=0 ;; hi, q=1 ;; hi, q=2 ;; => (1)

---

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