Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.