VevDB is a native embedded database with immutable database values, Datalog, queryable history, and hypothetical transactions. I came across this when I saw the author is also working on Kvist, a statically-typed LISP that compiles to Odin.