Writing (part of) a compiler in Datalog

• Backup video
• More info
• Presented at Have you tried rubbing a database on it?