Lossless·Toolkit
Datomic — site preview

Uses Datalog Designed by the founder of Clojure