Clerk

(ns emmy.util.logic

  "Logic utilities!"

  (:require [taoensso.timbre :as log]))

(def ^:dynamic *log-assumptions?*

  "If true, logs assumptions."

  true)

true

(defn assume!

  "Log an assumption.

  NOTE that `if-false` is not used right now. Currently this always returns true.

  NOTE: what this WILL do is check if the assumption is correct, to the extent

  that this is possible, and fail if it's provably false."

  ([assumption context]

   (assume! assumption context nil))

  ([assumption context _if-false]

   (when *log-assumptions?*

     (log/warn

      (str "Assuming " assumption " in " context)))

   true))

#object[emmy.util.logic$assume_BANG_ 0x4be1d8f8 "

emmy.util.logic$assume_BANG_@4be1d8f8"

]