Comment by cblop

MiniKanren is an embeddable language for logic programming, with implementations in a wide variety of languages: http://minikanren.org/