Interactive Debugging of Datalog Programs
Explore an innovative approach to interactive debugging of Datalog programs in this 17-minute conference talk from OOPSLA2 2023. Dive into the world of top-down evaluation strategies, specifically the recursive query/subquery method, and discover how it can enhance complex Datalog programming tasks. Learn about the first complete programming-language semantics based on this approach, including a small-step operational semantics for top-down Datalog. Understand how step-into and step-over interactions are implemented in the debugger, and gain insights into the hybrid Datalog semantics that combines top-down operational semantics with a bottom-up database. See how this debugger can be adapted for use with Soufflé and IncA frontend languages, and explore its practical applications in debugging real-world Datalog programs with realistic workloads.