[fulafel]

TerminusDB is written in Prolog, pretty cool. See eg https://github.com/terminusdb/terminusdb/blob/main/src/core/...

[ggleason]

Yes, but the low level memory layout and search iterators are written in rust.