A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool