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