A time-traveling deductive graph database
unifyDB is a work-in-progress database featuring a deductive (logic-programming) query language, a gradually-typed schema system, and an append-only data insertion paradign that enables querying the value of the database as of the present or any past timestamp.
More details to come. Watch this space!