If you're ever bored for a weekend I'd recommend reading through the Reasoned Schemer, or at least the final chapter and the appendices to see how a simple Kanren can be implemented. It's what got me to properly appreciate macros.