Fork me on GitHub
#clara
<
2017-08-05
>
mrchance00:08:15

Hi! Is it possible to cause side effects when a fact gets retracted by the truth maintenance mechanism? I am building something that builds a network of core.async pipes and am thinking about establishing and severing connections based on Clara facts.

mikerod22:08:51

@mrchance could you just make a :not style “negation rule” to logically handle the condition you are going for?

mikerod22:08:15

Whatever you are wanting to monitor for being logically retracted via truth maintenance. It seems you should be able to make an explicit rule looking for that situation

mikerod22:08:23

However, this side-effect of severing connections would certainly have to be resilient to any issues of being executed multiple times on the RHS. don’t rely on it only being “called once”