Added follow-along coding that I did in March 2013 while reading the reasoned schemer.  I implemented the examples from the book using core.logic.