Scaling to billions of facts?

Now that SWI-Prolog builds natively on Windows 11 using CMake, MSVC, and vcpkg—and the outstanding errors have been resolved (ref)—it seems like a good time to consider bringing RocksDB into the fold.

I’d like to see RocksDB become a standard installation option—including on Windows—and have its capabilities continue to be expanded. I’m curious what others think.