0.8.4-SNAPSHOT Arrow_down_16x16

not-adjacento

clojure.core.logic.bench

  • (not-adjacento x y)

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:405 top

(defn not-adjacento [x y]
  (fresh [f]
    (fd/in f (fd/interval 1 5))
    (conde
      [(fd/+ x f y) (fd/< 1 f)]
      [(fd/+ y f x) (fd/< 1 f)])))
Vars in clojure.core.logic.bench/not-adjacento:
Used in 0 other vars

Comments top

No comments for not-adjacento. Log in to add a comment.