A new thesis on Datalog—the logic programming language—has circulated among developers on Hacker News. Authored by rntz, 'Deconstructing Datalog' examines the foundations of a tool used in database systems, program analysis, and formal verification.

Listen to this story

Hear this and more stories in a personalized audio briefing.

Open The Chonkerton