org.xavierp.VeryNaiveDatalog (nuget): Naive, bottom-up Datalog semantics in about 200 lines
Keywords: datalog