Clojurians Log v2

Hi, I ran into some unexpected behavior today. I managed to replicate it in a small example (not sure if it's minimal):

(defrecord A [n])
(defrecord B [m])
(defrecord C [m n])
(defrule loop-rule
  [B (= ?m m)]
  [C (= ?m m) (= ?n n)]
  [:not [A (= ?n n)]]
  =>
  (println (str "A: " ?n))
  (insert! (->A ?n)))

(-> (mk-session :cache false)
    (insert (->B 1))
    (insert (->C 1 2))
    (insert (->C 1 3))
    (fire-rules))

I think http://www.clara-rules.org/docs/truthmaint/ might be a good start.

The rule itself is contradicting itself

Ah, yes, now I get it

or perhaps it could be thought of as a self fulfilling prophecy

thanks for the fast reply!

and thanks for clara: I'm building a pretty product and it's been a joy to work with 🙂

*pretty complex product

The minimal example of the looping behavior would probably be something like:

(defrecord A [n])
(clara/defrule not-a
  [:not [A]]
  =>
  (clara/insert! (->A 12)))

(defrecord A [n reason])

(r/defrule not-a
  [:not [A (not= ::default reason)]]
  =>
  (r/insert! (->A 12 ::default)))