Blog Archive Other May 2024 - Post 1: Datalog, Chain-Forward Computation, and Relational Algebra May 2024 - Modern Deduction Blog 0: Introduction