#+TITLE: kanren

(mini|micro) kanren is an embeddable logic programming language and theorem prover that can be written in your favorite programming language in very few lines of code!

[[https://www.youtube.com/watch?v=5vtC7WEN76w][a great talk from byrd and friedman regarding kanren]]
[[https://www.philipzucker.com/yet-another-microkanren-in-julia/][kanren implementation in julia]]