This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2017-02-12
Channels
- # bangalore-clj (1)
- # beginners (27)
- # boot (29)
- # clara (4)
- # cljs-dev (10)
- # cljsrn (2)
- # clojure (36)
- # clojure-austin (9)
- # clojure-brasil (4)
- # clojure-france (10)
- # clojure-nl (2)
- # clojure-quebec (1)
- # clojure-russia (10)
- # clojure-spec (48)
- # clojure-uk (6)
- # clojurescript (82)
- # clr (4)
- # core-async (5)
- # core-logic (3)
- # cursive (4)
- # datomic (1)
- # devcards (1)
- # figwheel (1)
- # leiningen (2)
- # lumo (6)
- # off-topic (23)
- # om (39)
- # onyx (3)
- # planck (2)
- # re-frame (5)
- # reagent (24)
- # specter (1)
- # test-check (3)
Hi! Can Clara detect a rule collisions? If rule C contradicts to rule A ?
Fairly new to Clara but ... it probably depends slightly what you mean. If you have a rules like "if A then B = 1" and "if A then B = 2", then when you query the session for values of B (assuming A is true) you'll find two values in the lazy sequence returned by the query function.
If you have rules like "if A then B" and "if B then retract A" ... well, I haven't got that far yet!
@apbleonard yeah, first variant with two answers is correct, i think. second variant is not, cause "if A then B" will insert fact B, but if retract A then B will be retracted automatically. my question about contradiction was about case if some big organization issues new policy about smth, i want to check that rules in new policy are not contradict to older policies. so i want to find collisions before new policy is issued.