pbostrom

;; works with core.logic 0.8.4
(require '[clojure.core.logic :refer :all])
(require '[clojure.core.logic.fd :as fd])

(defn get-square [rows x y]
  (for [x (range x (+ x 3))
        y (range y (+ y 3))]
    (get-in rows [x y])))

(defn init [vars hints]

pbostrom

(require '[clojure.core.logic :refer :all])
(require '[clojure.core.logic.fd :as fd])

(defn sumo
  ([l n] (sumo l 0 n))
  ([l acc n]
     (matche [l]
       ([[]] (fd/== acc n))
       ([[x . r]]
          (fresh [nacc]

pbostrom

(let [q (ref []), x (ref 0)]
  (defn run-side-effects [_]
    (let [fs (dosync
              (let [q' @q]
                (ref-set q [])
                q'))]
      (doseq [f fs] (f))))

  (defn alter-and-order-side-effects []
    (dosync