clojure.core.logic/conda

View this page on ClojureDocs

Type: macro Added: Clojure unknown Examples: 2 Runnable: 1

([& clauses])

Soft cut. Once the head of a clause has succeeded all other clauses will be ignored. Non-relational.

Examples

by freaxmind on 2016-07-19 ▶

;; Mind the order: (defn logic-test-1 [] (run* [q r] (membero q ["linux" "windows" "mac" "android" ""]) (conda [(membero q ["linux" "windows"]) (== r 1)] [(== q "mac") (== r 2)] [succeed (== q "") (== r 3)]))) ;; => (["linux" 1] ["windows" 1] ["mac" 2] ["" 3]) ;; conda takes ground values and matches them one by one against its clauses. (defn logic-test-2 [] (run* [q r] (conda [(membero q ["linux" "windows"]) (== r 1)] [(== q "mac") (== r 2)] [succeed (== q "") (== r 3)]) (membero q ["linux" "windows" "mac" "android" ""]))) ;; (["linux" 1] ["windows" 1]) ;; conda takes a fresh variable and associates it to the head of its first clause. ;; only the rest of the first clause (== r 1) is considered

by shenlebantongying on 2022-05-01 . May have evaluation errors. ▶

;; The order of "cond"s matters (run* [q] (conda [(membero 1 [q 2 3])] [(membero q [4 5 6])])) ;; => (1) (run* [q] (conda [(membero q [4 5 6])] [(membero 1 [q 2 3])])) ;; => (4 5 6)

See also

• clojure.core.logic/condu
• clojure.core.logic/conde
• clojure.core.logic/defna
• clojure.core.logic/fna

---

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