TerminusDB is a new project being implemented in Prolog: https://github.com/terminusdb/terminusdb-server