Tag
Comprehensive notes on Datalog: what it is, how to implement it in various languages, and its applications in program analysis, with code examples and resources.
The article describes the author's PhD dissertation 'Deconstructing Datalog', which integrates Datalog's recursive query capabilities into a typed functional language (Datafun) by using least prefix points and monotonicity tracking in the type system.