neither-rule-sees-other.clj

(deftest test-two-rules-fire-rhs-retraction-both-impacting-other-with-insertion
  (let [r1 (dsl/parse-rule [[?f <- First]
                            [?cold-facts <- (acc/all) :from [Cold]]]
                           (do
                             (retract! ?f)
                             (insert! (->Hot 50))
                             (insert-unconditional! (->TemperatureHistory (map :temperature ?cold-facts)))))

        r2 (dsl/parse-rule [[?s <- Second]
                            [?hot-facts <- (acc/all) :from [Hot]]]
                           (do
                             (retract! ?s)
                             (insert! (->Cold 50))
                             (insert-unconditional! (->TemperatureHistory (map :temperature ?hot-facts)))))

        q (dsl/parse-query [] [[TemperatureHistory (= ?temps temperatures)]])

        empty-session (mk-session [r1 r2 q] :cache false)]

    (-> empty-session
        (insert (->Cold 40) (->Hot 60))
        (insert (->First) (->Second))
        fire-rules
        (query q)
        println)))
;; Prints ({:?temps (60)} {:?temps (40)})