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! a great talk from byrd and friedman regarding kanren kanren implementation in julia