github.com/awalterschulze/gominikanren (go): Package gominikanren is an implementation of miniKanren in Go.
Keywords: go|logic-programming|minikanren