[LukeEF]

There is a prolog based database that will take away many foundational problems in implementing a rules system or other logic programming artifact. It is called TerminusDB [1]

[1] https://github.com/terminusdb/terminusdb