I would really, really like to try reasoning over SemMedDB with Prolog. There has been huge research success with this database in the past. I recently tried to put it into QLF files, but it’s too huge to fit in memory, unfortunately. The RockDB solution would allow to easily achieve my objective!