I've only ever seen/used Prolog with a fixed set of facts (axioms? I forgot how they are called). Are there modern Prolog systems with on-disk storage that coul

I've only ever seen/used Prolog with a fixed set of facts (axioms? I forgot how they are called). Are there modern Prolog systems with on-disk storage that could replace a DBMS?