Implementations of µKanren in assorted languages - View it on GitHub