gistfile1.txt

clara.test-rules> (clara.rules/defrule lost-game
  [?ships <- (acc/count) :from [Ship]]
  [?destroyed <- (acc/count) :from [Destroyed]]
  [:test (= ?ships ?destroyed)]
  =>
  (insert! (->Loser)))
#'clara.test-rules/lost-game
clara.test-rules> (-> (mk-session [lost-game]) .rulebase :alpha-roots (get Ship))
({:env nil,
  :children
  ({:id 2,
    :accum-condition {:accumulator (clara.rules.accumulators/count), :from {:type clara.test_rules.Ship, :constraints []}},
    :accumulator
    {:initial-value 0,
     :reduce-fn #function[clara.rules.accumulators/count/fn--16091],
     :combine-fn #function[clojure.core/+],
     :convert-return-fn #function[clojure.core/identity],
     :retract-fn #function[clara.rules.accumulators/count/fn--16093]},
    :result-binding :?ships,
    :children
    ({:id 3,
      :accum-condition {:accumulator (clara.rules.accumulators/count), :from {:type clara.test_rules.Destroyed, :constraints []}},
      :accumulator
      {:initial-value 0,
       :reduce-fn #function[clara.rules.accumulators/count/fn--16091],
       :combine-fn #function[clojure.core/+],
       :convert-return-fn #function[clojure.core/identity],
       :retract-fn #function[clara.rules.accumulators/count/fn--16093]},
      :result-binding :?destroyed,
      :children
      ({:id 4,
        :production
        {:ns-name clara.test-rules,
         :lhs
         [{:accumulator (clara.rules.accumulators/count), :from {:type clara.test_rules.Ship, :constraints []}, :result-binding :?ships}
          {:accumulator (clara.rules.accumulators/count), :from {:type clara.test_rules.Destroyed, :constraints []}, :result-binding :?destroyed}
          {:constraints [(= ?ships ?destroyed)]}],
         :rhs (do (insert! (->Loser))),
         :name "clara.test-rules/lost-game"},
        :rhs #function[clara.test-rules/eval17812/fn--17813]}),
      :binding-keys #{},
      :new-bindings #{}}),
    :binding-keys #{},
    :new-bindings #{}}),
  :activation #function[clara.test-rules/eval17828/fn--17829]})