[Dokmelody scratchpad notes]
[Main website]
doknil/tech/graal-deductive-dbms
https://graphik-team.github.io/graal/
Manage existential rules, where facts can be known or unknown.