Updated to work with latest core.logic

The latest core.logic, 0.8.5, uses a database to wrap facts. This means the tutorial, which Google ranks highly when searching for `core.logic tutorial` is outdated. I updated it to work with core.logic 0.8.5 and clojure 1.5.1. Few changes were required.