In this post I’ll discuss our group’s published progress from 2024. For the past few years, we’ve been working to design the highest-performance declarative analytics languages and reasoning engines for complex logically-specified tasks. The applications of our systems span many domains including program analysis (e.g., DOOP), security (e.g., ddisasm), graph and social-media mining, knowledge representation, business analytics (e.g., RDFox), and medical reasoning (e.g., MediKanren). The...| Modern Deduction