The paper on microKanren [1] is imho the most approachable piece outside the "reasoned schemer" [2]. The thesis on which it is based is also interesting but is

The paper on microKanren [1] is imho the most approachable piece outside the "reasoned schemer" [2]. The thesis on which it is based is also interesting but is a thicker beast. Looking at stuff from the clojure world (clojure.core.logic and this talk [3]) is also interesting imho, especially from a dev perspective. From this point of view I found this talk [4] to be especially enlightening in how to build a database / query engine and concrete applications of MiniKanren / datalog. [1] https://github.com/jasonhemann/microKanren https://github.com/jasonhemann/microKanren [2] https://mitpress.mit.edu/books/reasoned-schemer-second-edition https://mitpress.mit.edu/books/reasoned-schemer-second-editi... [3] https://www.youtube.com/watch?v=irjP8BO1B8Y&ab_channel=ClojureTV https://www.youtube.com/watch?v=irjP8BO1B8Y&ab_channel=Cloju... [4] https://www.youtube.com/watch?v=y1bVJOAfhKY&t=10s&ab_channel=denofclojure https://www.youtube.com/watch?v=y1bVJOAfhKY&t=10s&ab_channel...