If you are interested in logic programming itself, check http://minikanren.org/. Go community has a bunch of its implementations.