Fork me on GitHub

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.


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


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


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”