datalog-db

A user-friendly Datalog database.

I'm working on building a database that works the way I always felt they should. For me this meant three things: a more expressive query language, algebraic data types, and datomic-inspired time travel. Right now it is just a toy, but I have some plans to make real use of it and push to be a bit more production ready.

datalogrepl session

 1define User {
 2    name:  string required,
 3    age:   i64,
 4    email: string unique indexed,
 5}
 6 
 7define enum Status {
 8    Active,
 9    Suspended { reason: string },
10}
11 
12assert User { name: "Alice",   age: 30, email: "alice@example.com" }
13assert User { name: "Bob",     age: 25, email: "bob@example.com"   }
14assert User { name: "Charlie", age: 35, email: "charlie@example.com" }
15 
16find ?name, ?age
17  where ?u: User { name: ?name, age: > 27 }
18  as_of_time "2026-04-30T00:00:00Z"