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

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 https://github.com/terminusdb/terminusdb