0.8.4-SNAPSHOT Arrow_down_16x16
  • (matches n)

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic/bench.clj:530 top

(defn matches [n]
  (run 1 [a b c d]
    (fd/in a b c d (fd/interval 1 n)) 
    (fd/distinct [a b c d])
    (== a 1)
    (fd/<= a b) (fd/<= b c) (fd/<= c d)
    (fd/eq (= (+ a b c d) n))
    (checko [a b c d] () () n)))
Vars in clojure.core.logic.bench/matches:
Used in 0 other vars

Comments top

No comments for matches. Log in to add a comment.