Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Datomic

< >

Datomic is a query language created in 2012.

#2415on PLDB 14Years Old
Homepage

Datomic's query and rules system is an extended form of Datalog. Datalog is a deductive query system, typically consisting of: A database of facts; A set of rules for deriving new facts from existing facts; a query processor that, given some partial specification of a fact or rule: finds all matching facts.


Example from the web:
[:find ?e :where [?e :age 42]]

- Build the next great programming language 路 Add 路 Add Prompt 路 Issues 路 About 路 Search 路 Keywords 路 Livestreams 路 Labs 路 Resources 路 Acknowledgements

Built with Scroll v178.2.3