Frontiers: What's next for miniKanren and Relational Programming?

on YouTube ↗34m

" summary

miniKanren shows concrete momentum: 11 papers at ICFP-level workshops, many tiny EDSL implementations across host languages, and interoperable ports rather than a single monolith. Current frontiers are scalability (compilation/transpilation and tabled/bottom‑up vs top‑down integration), benchmarking and unified tooling (a demoable web front end like CDC4 and a graphical interpreter), and concrete numbers: which implementations run millions of examples and which regress on simple quines.

AI-written summary · about

" chapters (11)

1. 0:00Welcome
2. 1:27Relational programming
3. 5:28Relations as functions
4. 7:38Challenges in relational programming
5. 12:13Fragmentation vs exploration
6. 15:23miniKanren journeys
7. 16:48Practical needs
8. 21:27miniKanren vs Prolog
9. 27:54Interoperability growth
10. 30:45Coexisting with AI
11. 33:13Closing & Q&A