Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work - View it on GitHub