Greetings,
How is it possible to implement a "rollback" in the KB?
Suppose that when retracting a fact, I want to undo the changes made.
Writing a negative (opposite) rule isn't efficient, it means declaring the
rule twice effectively. Also the negative rule is usually using lots of OR's
and NOT's which isn't fast.
Any help?
Thanks