[Main website]

doknil/tech/graal-deductive-dbms

https://graphik-team.github.io/graal/

Manage existential rules, where facts can be known or unknown.