Logic Programming examples from Zurich Clojure Meetup