core.logic demo for the clj-sp meetup group