Naive, bottom-up Datalog semantics, in about 200 lines
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool