split_rules.clj

(defrule overflow?
  [?middle <- :middle]
  [:or [?max <- :top] [?max <- :right]]
  [:test (<= ($ ?max) ($ ?middle))]
  =>
  (insert! {:fact-type :overflow!}))

(defrule underflow?
  [?middle <- :middle]
  [:or [?min <- :bottom] [?min <- :left]]
  [:test (<= ($ ?middle) ($ ?min))]
  =>
  (insert! {:fact-type :underflow!}))