Yeah, I've heard that's good. Is the Mini-Kanren thing you build a useful constraint logic programming language to use from within your Scheme programs? Sometimes CLP is exactly what you need; it'd be great to have it at the ready.