How to retract fact from the database?

[Jeongmingyeong]

Hello,

I am using bottom-up version of Datalog and need help to retract facts from database.
I have been looking for a way to retract facts but haven't figured it out yet...

Can you help how this is possible?

Thank you!

[c-cube]

Sadly currently there is no way to remove facts. I haven't touched the library in a while, but when a clause is added some non trivial things happen, which might be hard to undo. I don't have a trivial solution for you, sorry :/

[Jeongmingyeong]

OK! Thanks for the help! I will try to find solution 😊