๐Ÿ“š node [[mkanren]]
๐Ÿ“• text contributed by @jakeisnt ๆœฌ

(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!

a great talk from byrd and friedman regarding kanren kanren implementation in julia

Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)
๐Ÿ“– stoas (collaborative spaces) for [[mkanren]]