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