Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking. - View it on GitHub