A Tutorial Reconstruction of miniKanren with constraints

on YouTube ↗26m

" summary

Reconstructs the appendix D implementation to show exactly how miniKanren adds constraints and how to extend it, providing a four-part recipe for implementing new constraints and walking through absento symbolo numbero /= as worked examples; builds a runnable relational Scheme interpreter that generates Quines and supports program-synthesis examples; explains the actual data structures, unification handling, and constraint stores used; claims the annotated code matches the original and yields a clear bridge to the faster, optimized implementations.

AI-written summary · about

" chapters (14)

1. 0:00Introduction
2. 1:30Paper overview
3. 2:14Relational interpreter
4. 3:43Demo: interpreter
5. 7:39Quines and synthesis
6. 10:58Constraints beyond unification
7. 13:50MicroKanren tutorial
8. 15:13Faster miniKanren challenges
9. 17:01Four constraints
10. 19:07Paper goal
11. 21:16Tutorial reconstruction
12. 22:43Differences from paper
13. 24:07Bridge to faster
14. 25:32Q&A