Get the latest tech news
An Overview of Datalog (2010)
By Jeffrey Straszheim What Datalog is, and what it can do for you. Work in Progress Datalog is a logical query language.
The implementation of Datalog that is provided (in this library) departs a bit from the original model insofar as it supports in memory data structures only. A good overview of why you would want to do this is Ben Mosely's Functional Relational Programming material, found here: http://web.mac.com/ben_moseley/frp/frp.html. In addition to the database itself, Datalog lets you define a series of inference rules to apply to your data.
Or read this on Hacker News