Prolog newbie interested in database ACID transactions (theory)

There’s some work being done on using a persisten database that maps directly to Prolog facts and rules: Persistent predicates based on RocksDB

I plan on working on this, but I’ve been sidetracked with getting some prerequisite stuff working better (SWI-cpp.h, for example).