[kyllo]

There's minikanren which is a library that's implemented in many different languages.

Have a look at Clojure's core.logic for an example.