Bddbddb: datalog with binary decision diagrams (2008) | Hacker News Reader