Playing around with core.logic -- a tutorial for some friends.