μKanren An implementation of μKanren in the Pony programming language, based on this paper. See main.pony for example usage.